Thomas Kolbe Kolbe Optimizing Proof Search by Machine Learning Techniques

Optimizing Proof Search by Machine Learning Techniques

von Thomas Kolbe

EUR 47,00

Buch in deiner Nähe kaufen


...oder deine aktuelle Postleitzahl eingeben:
oder

Beschreibung

Autor*in

Thomas Kolbe

Stimmen zu »Optimizing Proof Search by Machine Learning Techniques«

Details

ISBN: 9783826529719
Verlag: Shaker
Erscheinung: 1997

Link teilen

Über buchnah.de | Die Buchhandlungen | Die Verlage | Impressum & Kontakt | Datenschutz | Presse


Auf dieser Seite kannst Du Buchhandlungen in der Nähe finden