Using Sophisticated Models in Resolution Theorem Proving
SANDFORD, DAVID M.
- Collection No.
- 0
- Editorial:
- SPRINGER
- Year of edition:
- 1980
- ISBN:
- 978-3-540-10231-1
- EAN
- 9783540102311
- Collection:
- Lecture Notes in Computer Science
- High:
- 233 High
- Width:
- 155Width
- Idiom:
- INGLES
-5%
Before:51,99 €
After:49,39 €
VAT included
If your purchase exceeds 19
Using Sophisticated Models in Resolution Theorem Proving is from the author SANDFORD, DAVID M.
Using Sophisticated Models in Resolution Theorem Proving from the author SANDFORD, DAVID M. edited by SPRINGER in the year 1980.
Using Sophisticated Models in Resolution Theorem Proving has an ISBN code 978-3-540-10231-1. In this case it is format paper, but we don't have Using Sophisticated Models in Resolution Theorem Proving in format ebook.
Other books by
Other books by SPRINGER
-5%
-5%
