Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.

Automatisierter Satzbeweis: Nach 25 Jahren, Taschenbuch von Bledsoe, W. W.; Liebe...

Ø 0.0

0 Bewertungen

185,08 €

Automated Theorem Proving : After 25 Years, Paperback by Bledsoe, W. W.; Loveland, Donald W. (EDT), ISBN 082185027X, ISBN-13 9780821850275, Like New Used, Free P&P in the UK

Jetzt bei Ebay:

Book Title:

Automated Theorem Proving : After 25 Years
ISBN:

9780821850275

Standardversand:

Standard Int'l Postage 18,98 EUR - Lieferung zwischen 11. June 2025 und 17. June 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

Russische Föderation , Frankreich , Mazedonien , Tadschikistan , Turkmenistan , Französisch-Polynesien , Angola , Botsuana , Tschad , Lesotho , ... und weitere