Lavoisier Lavoisier Lavoisier Lavoisier

Résumé

...

Sommaire

1. Logiques non classiques2. Représentation des connaissances3. Logique modale4. Logique intuitionniste5. Logiques multivaluées6. Logique temporelle propositionnelle7. Logique des défauts8. Logique possibiliste et logique floue9. Théorie de la démonstration et sémantique de la programmation logique10. Logique mathématique11. Certification des SE12. Contrôle d'une base de connaissances13. Raisonnement temporel et approximatif14. Bases de données déductives15. Langage, architectures et systèmes logiques

Caractéristiques

Editeur : Hermès Science

Auteur(s) : ITURRIOZ

Publication : 1 janvier 1990

Edition : 1ère édition

Intérieur : Couleur, Noir & blanc

Support(s) : eBook [PDF], Contenu téléchargeable [PDF], Text (eye-readable) [PDF]

Contenu(s) : PDF

Protection(s) : Marquage social (PDF)

Taille(s) : 8,5 Mo (PDF)

Langue(s) : Français

Code(s) CLIL : 3193

EAN13 eBook [PDF] : 9782746235687

EAN13 (papier) : 9782866012052