TU Darmstadt / ULB / TUbiblio

Proving theorems by reuse

Walther, Christoph ; Kolbe, T. :
Proving theorems by reuse.
In: Artificial intelligence, 116 S. 17-66.
[Artikel], (2000)

Typ des Eintrags: Artikel
Erschienen: 2000
Autor(en): Walther, Christoph ; Kolbe, T.
Titel: Proving theorems by reuse
Sprache: Deutsch
Titel der Zeitschrift, Zeitung oder Schriftenreihe: Artificial intelligence
Band: 116
Fachbereich(e)/-gebiet(e): Fachbereich Informatik
Fachbereich Informatik > Programmiermethodik
Hinterlegungsdatum: 19 Nov 2008 16:25
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen