Automation of reasoning, classical papers on computational logic, 1957-1966 / edited by Jörg Siekmann and Graham Wrightson.
Langue : anglais.Publication : Berlin : Heidelberg : New York : Springer, 1983.Description : XII- 525 p. ; 25 cm.ISBN : 3540120432; 0387120432.Collection: Symbolic computation. Artificial intelligence., 1Sujet - Nom commun: Théorie de l'information, codage, linguistique, automates, concurrence, systèmes de transition, vérification| Type de document | Site actuel | Cote | Statut | Date de retour prévue | Code à barres |
|---|---|---|---|---|---|
| Monographie | IREM P7 | 77.9 SIE 83 t1 (Parcourir l'étagère(Ouvrir ci-dessous)) | Disponible | 2620 |
Il n'y a pas de commentaire pour ce titre.