Automation of reasoning, 2 : classical papers on computational logic, 1967-1970 / edited by Jörg Siekmann and Graham Wrightson
Langue : anglais.Publication : Berlin : Springer, 1983Description : xii, 637 p. ; 25 cmISBN : 0387120440; 3540120440.Collection: Symbolic computation, Artificial intelligence, Sujet - 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 |
|---|---|---|---|---|---|
| Non communiqué | IREM P7 | 77.9 SIE 83 t2 (Parcourir l'étagère(Ouvrir ci-dessous)) | Disponible | 2621 |
Il n'y a pas de commentaire pour ce titre.