Author: Loveland, Donald W.: Title: Automated Theorem Proving: A Logical Basis. Fundamental Studies in Computer Science, Vol. 6.
Description: Amsterdam (NL), North-Holland. 1978. 405 p., Hardcover. Good condition according to age. Note of ownership. Paper slightly brownished at the edges. Free shipping within Germany. Shipping costs to EU-countries: 9.50 EUR, to non-EU-countries: 15.00 EUR.
Keywords: Mathematics, Logik ISBN: 9780720404999
Price: EUR 36.70 = appr. US$ 39.89 Seller: Antiquariat Thomas Haker
- Book number: 861127
See more books from our catalog:
Mathematik