Description
Edition details
- Author / contributors: Wolfgang Bibel (Editor); P.H. Schmitt (Editor)
- Publisher: Springer Netherlands
- Publication date: March 09, 2013
- Language: English
- ISBNs: 9780792351306; 9789401704359
- Digital formats: PDF
Automated Deduction – A Basis for Applications Volume I Foundations – Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
€ 249,99
Automated Deduction – A Basis for Applications Volume I Foundations – Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications. An English-language digital edition by Wolfgang Bibel (Editor); P.H. Schmitt (Editor), available in PDF.
Download format: PDF (.pdf). Available files can be downloaded from My books immediately after payment is confirmed. We also email you a download link. If your edition needs file preparation, your account shows its pending status; the download and email follow upload and staff approval.
Additional information
| Author | Wolfgang Bibel (Editor); P.H. Schmitt (Editor) |
|---|---|
| Publisher | Springer Netherlands |
| Language | English |
| ISBN | 9780792351306, 9789401704359 |
| Format | |
| Publication date | March 09, 2013 |
| DRM | DRM-free edition available |
| Download format | PDF (.pdf) |
Reviews
There are no reviews yet.