Research Catalog
Automation of reasoning
- Title
- Automation of reasoning / edited by Jörg Siekmann and Graham Wrightson.
- Publication
- Berlin ; New York : Springer, 1983.
Items in the Library & Off-site
Filter by
2 Items
| Status | Vol/Date | Format | Access | Call Number | Item Location |
|---|---|---|---|---|---|
| v. 2 | Text | Request in advance | JSE 84-645 v. 2 | Offsite | |
| v. 1 | Text | Request in advance | JSE 84-645 v. 1 | Offsite |
Details
- Additional Authors
- Description
- 2 v. : ill.; 25 cm.
- Subject
- Note
- Errata slip inserted in vol. 2.
- Bibliography (note)
- Includes bibliographical references.
- Call Number
- JSE 84-645
- ISBN
- 0387120432 (U.S. : v. 1)
- 0387120440 (U.S. : v. 2)
- LCCN
- 83172968
- OCLC
- 9739533
- NYPG84-B39255
- Title
- Automation of reasoning / edited by Jörg Siekmann and Graham Wrightson.
- Imprint
- Berlin ; New York : Springer, 1983.
- Bibliography
- Includes bibliographical references.
- Added Author
- Siekmann, Jörg H.Wrightson, Graham.
- Research Call Number
- JSE 84-645