Logique.V3, méthodes pour l'intelligence artificielle
Type doc. :
Livre
Langue :
Français
Auteur(s) :
Editeur(s) :
Année d'édition :
2000
Thème :
Informatique, traitement des données
ISBN :
2746201313
Afficher le Résumé
Cet ouvrage en trois volumes, Logique propose une mise au point complète sur l'utilisation de la logique, a partir des résultats et des méthodes d'exposition les plus récents. Après " les méthodes pour l'informatique fondamentale " et " les méthodes formelles pour l'étude des programmes ", le tome 3 présente " les méthodes pour l'intelligence artificielle
| N° Bulletin | Date / Année de parution | Titre N° Spécial | Sommaire |
|---|
| N° d'Exemplaire / inventaire | Cote | Localisation | Type de Support | Type de Prêt | Statut | Date de Restitution Prévue | Réservation |
|---|---|---|---|---|---|---|---|
| 175970A02 | 004 GOC 1V3 C2 | BIB-Centrale / Ouvrages | Papier | interne | disponible | ||
| 175969A02 | 004 GOC 1V3 C1 | BIB-Centrale / Ouvrages | Papier | interne | disponible | ||
| 175971A02 | 004 GOC 1V3 C3 | BIB-Centrale / Ouvrages | Papier | externe | disponible | ||
| 175968A02 | 004 GOC 1V3 C4 | BIB-Centrale / Ouvrages | Papier | externe | disponible |
Gochet, P. et al. (2000). Logique.V3, méthodes pour l'intelligence artificielle . Hérmes science publications;