Automated Theorem Proving: Theory and Practice (Hardback)Monty Newborn (author)
- We can order this
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...
Please sign in to write a review