TU Darmstadt / ULB / TUbiblio

Patching proofs for reuse

Kolbe, Thomas :
Patching proofs for reuse.
In: European Conference on Machine Learning: ECML '95 <8, 1995, Heraclion, Greece>: Proceedings. Hrsg.: N. Lavrac u. S. Wrobel. S. 303-306 , 912 . Springer , Berlin, Heidelberg (u.a.)
[Konferenz- oder Workshop-Beitrag], (1995)

Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
Erschienen: 1995
Autor(en): Kolbe, Thomas
Titel: Patching proofs for reuse
Sprache: Englisch
Reihe: European Conference on Machine Learning: ECML '95 <8, 1995, Heraclion, Greece>: Proceedings. Hrsg.: N. Lavrac u. S. Wrobel. S. 303-306
Band: 912
Ort: Berlin, Heidelberg (u.a.)
Verlag: Springer
Edition: Berlin, Heidelberg (u.a.): Springer, 1995
Fachbereich(e)/-gebiet(e): Fachbereich Informatik
Hinterlegungsdatum: 19 Nov 2008 15:58
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen