TU Darmstadt / ULB / TUbiblio

Optimizing proof search by machine learning techniques

Kolbe, Thomas :
Optimizing proof search by machine learning techniques.
Shaker , Aachen
[Dissertation]

Typ des Eintrags: Dissertation
Erschienen: 1997
Autor(en): Kolbe, Thomas
Titel: Optimizing proof search by machine learning techniques
Sprache: Deutsch
Ort: Aachen
Verlag: Shaker
Edition: Aachen: Shaker, 1997. III, 194 S
Kollation: III, 194 S
Fachbereich(e)/-gebiet(e): Fachbereich Informatik
Hinterlegungsdatum: 19 Nov 2008 15:55
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen