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 : Hermes Science
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