TU Darmstadt / ULB / TUbiblio

Reusing Proofs

Kolbe, Thomas ; Walther, Christoph (1994)
Reusing Proofs.
ECAI'94: 11th European Conference on Artificial Intelligence. Amsterdam, Netherlands (08.-12.08.)
Konferenzveröffentlichung, Bibliographie

Typ des Eintrags: Konferenzveröffentlichung
Erschienen: 1994
Autor(en): Kolbe, Thomas ; Walther, Christoph
Art des Eintrags: Bibliographie
Titel: Reusing Proofs
Sprache: Englisch
Publikationsjahr: August 1994
Veranstaltungstitel: ECAI'94: 11th European Conference on Artificial Intelligence
Veranstaltungsort: Amsterdam, Netherlands
Veranstaltungsdatum: 08.-12.08.
URL / URN: https://www.semanticscholar.org/paper/Reusing-Proofs-Kolbe-W...
Zugehörige Links:
Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik
20 Fachbereich Informatik > Programmiermethodik
Hinterlegungsdatum: 30 Mär 2020 09:11
Letzte Änderung: 20 Jul 2020 11:17
PPN:
Zugehörige Links:
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen