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

Maschinelles Lernen für automatisierten Satzbeweis: Lernen, SAT und QSA zu lösen...

Ø 0.0

0 Bewertungen

100,54 €

Machine Learning for Automated Theorem Proving: Learning to Solve SAT and QSAT, ISBN 1680838989, ISBN-13 9781680838985, Like New Used, Free shipping in the US

Jetzt bei Ebay:

Book Title:

Machine Learning for Automated Theorem Proving: Learning to Solve
ISBN:

9781680838985

Standard Shipping:

Standard International Shipping 18,96 EUR - Lieferung zwischen 28. May 2025 und 10. June 2025 (bei heutigem Zahlungseingang)
Versand nach:

Weltweit
Versand ausgeschlossen:

US-Protektorate , APO/FPO , Russische Föderation , Frankreich , Mazedonien , Guadeloupe , Martinique , Saint-Pierre und Miquelon , Laos , Saudi-Arabien , ... und weitere