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

Maschinelles Lernen für automatisierte Satznachweise: Lernen, SAT und Qsat zu lösen (

Ø 0.0
0 Bewertungen
96,90 €

Machine Learning for Automated Theorem Proving: Learning to Solve SAT and Qsat (Paperback or Softback). Your source for quality books at reduced prices. Condition Guide. Publication Date: 11/22/2021.

Jetzt bei Ebay: