Author: Sandford, David M. Title: Using Sophisticated Models in Resolution Theorem Proving
Description: Springer 1980 sewed, 239 pp. Lecture notes in computer Science nr 90 ISBN (3540102310) (code Sc-36)
Keywords: mathematics
Price: EUR 17.50 = appr. US$ 19.02 Seller: Moby Dick
- Book number: 233620
See more books from our catalog:
Science