Books · Books
Automated Theorem Proving
Product code: 9780387950754
₹15928
₹159280% off
Automated Theorem Proving
Book details
Book Details
- Publisher
- Springer
- ISBN
- 9780387950754
- ISBN 10
- 387950753
- ISBN 13
- 9780387950754
- Edition
- 0
- Publication Year
- 0
- Author
- Newborn
General
- GTIN
- 9780387950754
- ISBN_1
- 9780387950754