TU Darmstadt / ULB / TUbiblio

Konstruktiv adäquate Beweisautomatisierung für intuitionistische Logik

Korn, Daniel :
Konstruktiv adäquate Beweisautomatisierung für intuitionistische Logik.
Infix , St. Augustin
[Dissertation]

Typ des Eintrags: Dissertation
Erschienen: 1999
Autor(en): Korn, Daniel
Titel: Konstruktiv adäquate Beweisautomatisierung für intuitionistische Logik
Sprache: Deutsch
Band: 198
Ort: St. Augustin
Verlag: Infix
Kollation: XV, 213 S.
Fachbereich(e)/-gebiet(e): Fachbereich Informatik
Hinterlegungsdatum: 19 Nov 2008 15:56
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen