Vorstellung des Autors B. Holden Sean:

Bisher veröffentlichte Bücher von B. Holden Sean:

Maschinelles Lernen für automatisiertes Theorem Proving: Lernen, SAT und QSAT zu lösen - Machine...
New Publ Inc
Automatisiertes Theorembeweisen ist ein...
Maschinelles Lernen für automatisiertes Theorem Proving: Lernen, SAT und QSAT zu lösen - Machine Learning for Automated Theorem Proving: Learning to Solve SAT and QSAT
<<
1
>>

© Book1 Group - Alle Rechte vorbehalten.
Der Inhalt dieser Seite darf weder teilweise noch vollständig ohne schriftliche Genehmigung des Eigentümers kopiert oder verwendet werden.
Letzte Änderung: 2024.11.13 22:11 (GMT)