Automation of reasoning. 2 : Classical papers on computational logic, 1967-1970 [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: | New York (US), Heidelberg (DE), Berlin (DE) |
| ISBN: | 0-387-12044-0 ; 3-540-12044-0 |
| ISSN: | 1431-1399 |
| Classification MSC: | 68T30 |
| Notes: | xii ; notes bibliogr. ; bibliogr. pp. 609-636 ; 25 cm ; 637 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-2 | Disponible |