search for books and compare prices
Using Sophisticated Models in Resolution Theorem Proving
Descriptions of each edition are found in brief where available. Click details & prices to get more information on a book or to find the best prices for the title.
Paperback
from Springer Verlag (February 1, 1981)
9780387102313 | details & prices | List price $49.95