Logique pour l'informatique et pour l'intelligence artificiel / Ricardo Caferra

Public ISBD 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://www.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://www.biblio.uadb.edu.sn/pmb/opac_css/index.php?lvl=notice_display&id=2609

Réservation

Réserver ce document

Exemplaires (10)

Code-barres	Cote	Support	Localisation	Section	Disponibilité
302439	006.3 CAF	Livre	La Bibliothèque centrale	Informatique	Disponible
302432	006.3 CAF	Livre	La Bibliothèque centrale	Informatique	Disponible
302433	006.3 CAF	Livre	La Bibliothèque centrale	Informatique	Disponible
302436	006.3 CAF	Livre	La Bibliothèque centrale	Informatique	Disponible
302429	006.3 CAF	Livre	La Bibliothèque centrale	Informatique	Exclu du prêt
302430	006.3 CAF	Livre	La Bibliothèque centrale	Informatique	Disponible
302437	006.3 CAF	Livre	La Bibliothèque centrale	Informatique	Exclu du prêt
302438	006.3 CAF	Livre	La Bibliothèque centrale	Informatique	Disponible
302434	006.3 CAF	Livre	La Bibliothèque centrale	Informatique	Exclu du prêt
302435	006.3 CAF	Livre	La Bibliothèque centrale	Informatique	Disponible

---

1 (1 - 1 / 1)