Modèles logiques et systèmes d'intelligence artificielle

Public ISBD 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.

Exemplaires (1)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
9782866012052MIT001	006.3/019	Livre	Maths&Informatique	Fonds informatique	Disponible

---

1 (1 - 1 / 1)