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 Holden, Sean B.: Machine Learning for Automated Theorem Proving

111.10 EUR
Preis aktualisiert am: 21-11-2024 09:50:27
Siehe Produktangebot

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

111.70 EUR
Preis aktualisiert am: 20-06-2025 06:00:25
Siehe Produktangebot

Gesponsert Machine Learning for Automated Theorem Proving

118.49 EUR
Preis aktualisiert am: 28-08-2024 20:11:14
Siehe Produktangebot
Bezeichner
Abmessungen / Gewicht
Hauptmerkmale
Holden, Sean B.