Automation of reasoning. 1 : Classical papers on computational logic, 1957-1966 [monographie] |
| Auteur(s): | Siekmann, Jörg H. (1941-....) (Ed.) Wrightson, Graham (1941-....) (Ed.) |
| Langue: | anglais |
| Collection: | Symbolic computation. Artificial intelligence |
| Editeur, date d'édition: | Springer, 1983 |
| Ville(s) d'édition: | Berlin (DE), Heidelberg (DE), New York (US) |
| ISBN: | 0-387-12043-2 ; 3-540-120043-2 |
| ISSN: | 1431-1399 |
| Classification MSC: | 68T30 |
| Notes: | 1 portrait ; fig. ; notes bibliogr. ; bibliogr. pp. 497-525 ; 25 cm ; 525 p. |
| Thèmes: | logique mathematique, artificial intelligence, computer science, demonstration automatique, automation reasoning |
| Localisation: | Ouvrage localisé fonds informatique - 1ère salle |
Exemplaire(s)
| Cote | Retour |
|---|---|
| 05 SIE 83-1 | Disponible |