Titre :	Logique pour l'informatique et pour l'intelligence artificiel
Type de document :	texte imprimé
Auteurs :	Ricardo Caferra, Auteur
Editeur :	Lavoisier
Année de publication :	2011
Autre Editeur :	Paris [France] : Hermès science publication
Collection :	Collection Informatique, ISSN 1242-7691
Importance :	1 vol. (424 p.)
Format :	24 cm
ISBN/ISSN/EAN :	978-2-7462-2600-5
Langues :	Français (fre)
Catégories :	Programmation
Mots-clés :	Logique mathématique  Langages formels  Intelligence artificielle  Programmation logique
Permalink :	http://biblio.uadb.edu.sn/pmb/opac_css/index.php?lvl=notice_display&id=2609

Logique pour l'informatique et pour l'intelligence artificiel [texte imprimé] / Ricardo Caferra, Auteur . - Paris, France : Lavoisier : Paris (France) : Hermès science publication, 2011 . - 1 vol. (424 p.) ; 24 cm. - (Collection Informatique, ISSN 1242-7691) .
ISBN : 978-2-7462-2600-5
Langues : Français (fre)

Catégories :	Programmation
Mots-clés :	Logique mathématique  Langages formels  Intelligence artificielle  Programmation logique
Permalink :	http://biblio.uadb.edu.sn/pmb/opac_css/index.php?lvl=notice_display&id=2609