Automated Theorem Proving: Theory and Practice (Hardback)Monty Newborn (author)
- We can order this from the publisher
Publisher: Springer-Verlag New York Inc.
Number of pages: 231
Weight: 543 g
Dimensions: 235 x 155 x 15 mm
Edition: 2001 ed.
You may also be interested in...
Would you like to proceed to the App store to download the Waterstones App?
Alternatively, for multiple items you may find it easier to add to basket, then pay online and collect in as little as 2 hours, subject to availability.