Kolbe, Thomas ; Walther, Christoph (1995)
Patching proofs for reuse.
ECML'95: 8th European Conference on Machine Learning. Heraclion, Greece (25.04.1995-27.04.1995)
Konferenzveröffentlichung, Bibliographie
Typ des Eintrags: | Konferenzveröffentlichung |
---|---|
Erschienen: | 1995 |
Autor(en): | Kolbe, Thomas ; Walther, Christoph |
Art des Eintrags: | Bibliographie |
Titel: | Patching proofs for reuse |
Sprache: | Englisch |
Publikationsjahr: | 1995 |
Ort: | Heraclion, Greece |
Veranstaltungstitel: | ECML'95: 8th European Conference on Machine Learning |
Veranstaltungsort: | Heraclion, Greece |
Veranstaltungsdatum: | 25.04.1995-27.04.1995 |
URL / URN: | https://www.springer.com/de/book/9783540592860 |
Fachbereich(e)/-gebiet(e): | 20 Fachbereich Informatik 20 Fachbereich Informatik > Programmiermethodik |
Hinterlegungsdatum: | 19 Nov 2008 15:58 |
Letzte Änderung: | 25 Apr 2024 08:54 |
PPN: | |
Export: | |
Suche nach Titel in: | TUfind oder in Google |
Frage zum Eintrag |
Optionen (nur für Redakteure)
Redaktionelle Details anzeigen |