Sold out
Book purchase
Automation of Reasoning 1, Various authors
- Language
- Released
- 1983
- product-detail.submit-box.info.binding
- (Paperback)
We’ll email you as soon as we track it down.
Payment methods
No one has rated yet.
- Title
- Automation of Reasoning 1
- Language
- German
- Authors
- Various authors
- Publisher
- Springer Berlin Heidelberg
- Released
- 1983
- Format
- Paperback
- ISBN10
- 3642819524
- ISBN13
- 9783642819520
- Series