Logique pour l'informatique et pour l'intelligence artificielle
La 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 pour l'intelligence artifi...
Wedi'i Gadw mewn:
| Prif Awdur: | Caferra, Ricardo, 1945-...., auteur en informatique |
|---|---|
| Fformat: | Livre papier |
| Iaith: | Français |
| Cyhoeddwyd: |
Paris :
Hermes science publications : Lavoisier
C 2011.
|
| Cyfres: | Collection informatique
|
| Pynciau: | |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Logique pour l'informatique et pour l'intelligence artificielle, Ricardo Caferra, Paris, Hermès science, Lavoisier, 2011, Collection informatique, 978-2-7462-4111-4 |
Eitemau Tebyg
-
Logique pour l'informatique et pour l'intelligence artificielle
(Livre numérique)
Caferra, Ricardo, 1945-...., auteur en informatique
Hermes science publications : Lavoisier, 2010 -
Intelligence artificielle et informatique théorique
(Livre papier)
Alliot, Jean-Marc, 1962-, et al.
Cépaduès-éd., 1994 -
Logique pour l'informatique
(Livre numérique)
Jaume, Mathieu, 1968-2023, et al.
Ellipses, 2020 -
Logique pour l'informatique
(Livre papier)
Jaume, Mathieu, 1968-2023, et al.
Ellipses, 2020 -
L'intelligence et le calcul : de Gödel aux ordinateurs quantiques
(Livre papier)
Delahaye, Jean-Paul, 1952-
Belin : Pour la science, 2002

