Using Sophisticated Models in Resolution Theorem Proving - Lecture Notes in Computer Science 90 (Paperback)David M. Sandford (author)
- We can order this
Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
Number of pages: 242
Weight: 820 g
Dimensions: 233 x 155 x 13 mm
Edition: 1980 ed.
You may also be interested in...
Please sign in to write a review