Automated Theorem Proving: Theory and Practice (Paperback)Monty Newborn (author)
- We can order this
Publisher: Springer-Verlag New York Inc.
Number of pages: 231
Weight: 385 g
Dimensions: 235 x 155 x 13 mm
Edition: Softcover reprint of the original 1st ed. 200
You may also be interested in...
Please sign in to write a review