TU Darmstadt / ULB / TUbiblio

Proof management and retrieval

Kolbe, Thomas ; Walther, Christoph (1995)
Proof management and retrieval.
14th International Joint Conference on Artificial Intelligence - Workshop for Formal Approaches to the Reuse of Plans, Proofs and Programs. Montreal, Canada (20.-25.08.1995)
Konferenzveröffentlichung, Bibliographie

Typ des Eintrags: Konferenzveröffentlichung
Erschienen: 1995
Autor(en): Kolbe, Thomas ; Walther, Christoph
Art des Eintrags: Bibliographie
Titel: Proof management and retrieval
Sprache: Englisch
Publikationsjahr: 1995
Veranstaltungstitel: 14th International Joint Conference on Artificial Intelligence - Workshop for Formal Approaches to the Reuse of Plans, Proofs and Programs
Veranstaltungsort: Montreal, Canada
Veranstaltungsdatum: 20.-25.08.1995
URL / URN: https://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.48....
Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik
20 Fachbereich Informatik > Programmiermethodik
Hinterlegungsdatum: 19 Nov 2008 15:58
Letzte Änderung: 20 Jul 2020 11:15
PPN:
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