Titre :	Modèles logiques et systèmes d'intelligence artificielle
Type de document :	texte imprimé
Auteurs :	Luisa Iturrioz, Editeur scientifique ; Centre interétablissements de recherche en informatique et logique, Editeur scientifique ; Alain Dussauchoy, Editeur scientifique
Editeur :	Paris : Hermès
Année de publication :	1990
Collection :	Traité des nouvelles technologies
Sous-collection :	Série Intelligence artificielle
ISBN/ISSN/EAN :	978-2-86601-205-2
Catégories :	Informatique Informatique:Méthodes informatiques particulières Informatique:Méthodes informatiques particulières:Intelligence artificielle
Mots-clés :	Intelligence artificielle  Logique symbolique et mathématique
Index. décimale :	006.3 Intelligence artificielle
Résumé :	Théorie de la démonstration et sémantique de la programmation logique; logique mathématique, modale, intuitionniste, temporelle propositionnelle.

Modèles logiques et systèmes d'intelligence artificielle [texte imprimé] / Luisa Iturrioz, Editeur scientifique ; Centre interétablissements de recherche en informatique et logique, Editeur scientifique ; Alain Dussauchoy, Editeur scientifique . - Paris : Hermès, 1990. - (Traité des nouvelles technologies. Série Intelligence artificielle, ISSN 0986-0665) .
ISBN : 978-2-86601-205-2

Catégories :	Informatique Informatique:Méthodes informatiques particulières Informatique:Méthodes informatiques particulières:Intelligence artificielle
Mots-clés :	Intelligence artificielle  Logique symbolique et mathématique
Index. décimale :	006.3 Intelligence artificielle
Résumé :	Théorie de la démonstration et sémantique de la programmation logique; logique mathématique, modale, intuitionniste, temporelle propositionnelle.