Holden, Sean B.: Machine Learning for Automated Theorem Proving

Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

Gesponsert Machine Learning for Automated Theorem Proving: Learning to Solve SAT and QSAT (Foundations and Trends(r) in Machine Learning)

111.80 EUR
Preis aktualisiert am: 02-09-2025 12:21:33
Siehe Produktangebot
Bezeichner
Abmessungen / Gewicht
Hauptmerkmale
Holden, Sean B.