TU Darmstadt / ULB / TUbiblio

PLAGIATOR - a learning prover

Kolbe, Thomas ; Brauburger, :
PLAGIATOR - a learning prover.
In: International Conference on Automated Deduction <14, 1997, Townsville, Australia>: Proceedings. Hrsg.: M.A. McRobbie (u.a.) S. 256-259 , 1149 . Springer , Berlin, Heidelberg (u.a.)
[Konferenz- oder Workshop-Beitrag], (1997)

Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
Erschienen: 1997
Autor(en): Kolbe, Thomas ; Brauburger,
Titel: PLAGIATOR - a learning prover
Sprache: Englisch
Reihe: International Conference on Automated Deduction <14, 1997, Townsville, Australia>: Proceedings. Hrsg.: M.A. McRobbie (u.a.) S. 256-259
Band: 1149
Ort: Berlin, Heidelberg (u.a.)
Verlag: Springer
Edition: Berlin, Heidelberg (u.a.): Springer, 1997
Fachbereich(e)/-gebiet(e): Fachbereich Informatik
Hinterlegungsdatum: 19 Nov 2008 16:04
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen