TU Darmstadt / ULB / TUbiblio

Adaption of proofs for reuse

Kolbe, Thomas ; Walther, :
Adaption of proofs for reuse.
In: American Association for Artificial Intelligence: 1995 Fall Symposium / Workshop: Adaption of knowledge for reuse <1995, Cambridge, MA>: Papers . AAAI Press , Menlo Park, CA
[Konferenz- oder Workshop-Beitrag], (1995)

Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
Erschienen: 1995
Autor(en): Kolbe, Thomas ; Walther,
Titel: Adaption of proofs for reuse
Sprache: Englisch
Reihe: American Association for Artificial Intelligence: 1995 Fall Symposium / Workshop: Adaption of knowledge for reuse <1995, Cambridge, MA>: Papers
Ort: Menlo Park, CA
Verlag: AAAI Press
Edition: Menlo Park, CA: AAAI Press, 1995
Fachbereich(e)/-gebiet(e): Fachbereich Informatik
Hinterlegungsdatum: 19 Nov 2008 15:58
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen