TU Darmstadt / ULB / TUbiblio

Proving theorems by mimicking a human's skill

Kolbe, Thomas :
Proving theorems by mimicking a human's skill.
In: Acquisition, learning and demonstration: automating tasks for users; Papers from the 1996 AAAI Spring Symposium. Hrsg.: Y. Gil. S. 50-56 . AAAI Press , Menlo Park, CA
[Konferenz- oder Workshop-Beitrag], (1996)

Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
Erschienen: 1996
Autor(en): Kolbe, Thomas
Titel: Proving theorems by mimicking a human's skill
Sprache: Englisch
Reihe: Acquisition, learning and demonstration: automating tasks for users; Papers from the 1996 AAAI Spring Symposium. Hrsg.: Y. Gil. S. 50-56
Ort: Menlo Park, CA
Verlag: AAAI Press
Edition: Menlo Park, CA: AAAI Press, 1996
Fachbereich(e)/-gebiet(e): Fachbereich Informatik
Hinterlegungsdatum: 19 Nov 2008 16:00
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen