Author: Sandford, David M. Title: Using Sophisticated Models in Resolution Theorem Proving.( = Lecture Notes in Computer Science, 90) .
Description: Springer Heidelberg 1980. 239 S. Paperback/ broschiert Sehr guter Zustand/ very good Ex-Library. Brownish paper. Free shipping within Germany. Shipping costs to EU-countries: 9.50 EUR, to non-EU-countries: 15.00 EUR.
Keywords: Künstliche Intelligenz Mathematik ISBN: 0387102310
Price: EUR 4.90 = appr. US$ 5.33 Seller: Antiquariat Thomas Haker
- Book number: 459176
See more books from our catalog:
Informatik, Hardware, Software