Monty Newborn
Automated Theorem Proving
Monty Newborn · 2000
Where to buy
Amazon’s price changes daily, so the most accurate place to see it is there, at the moment you buy.
View on AmazonBook details
- Year
- 2000
- Language
- English
- Publisher
- Springer
- Editions
- 4
- Pages
- 231
- ISBN
- 9780387950754
Data source: Wikidata
