Catégories
(1)



![]()
Monographie imprimée
Ricardo Caferra, Auteur | Paris : Hermès science / Lavoisier | Collection Informatique (Paris. 1992), ISSN 1242-7691 | cop. 2011La logique, qu'elle soit propositionnelle, du premier ordre ou non classique, joue un rôle capital dans l'informatique et plus particulièrement dans l'intelligence artificielle. Conçu dans un but d'autoformation, Logique pour l'informatique et[...]