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 |
Parcourir IREM P7 les étagères Fermer l'étagère (Fermer la navigation sur l'étagère)
| 77.9 KHI 57 Mathematical foundations of information theory | 77.9 KHI 57a Mathematical foundations of information theory | 77.9 LIV 78 Théorie des programmes | 77.9 SIE 83 t1 Automation of reasoning | 77.9 SIE 83 t2 Automation of reasoning, 2 | 77.9 ZEI 76 Theory of modelling and simulation | 77.9 ZEM 00 Cours de cryptographie |
Il n'y a pas de commentaire pour ce titre.