Nantilus
Le concept de preuve à la lumière de l'intelligence artificielle
Enregistré dans:
| Autres auteurs : | , |
|---|---|
| Format : | Livre |
| Langue : | français |
| Titre complet : | Le concept de preuve à la lumière de l'intelligence artificielle / sous la dir. de Jean Sallantin et Jean-Jacques Szczeciniarz |
| Publié : |
Paris :
Presses universitaires de France
, 1999 |
| Description matérielle : | 370 p. |
| Collection : | Nouvelle encyclopédie Diderot (Paris). ; 1999 |
| Sujets : |
BU Lettres
| | Cote | Prêt | Statut |
|---|---|---|---|
| Document à demander aux points d'accueil | S 463282 | Empruntable | Disponible |