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)
Keywords: science Wiskunde
Price: EUR 20.00 = appr. US$ 21.74 Seller: Moby Dick
- Book number: 233620
See more books from our catalog:
Science