TU Darmstadt / ULB / TUbiblio

Konstruktiv adäquate Beweisautomatisierung für intuitionistische Logik

Korn, Daniel (1999)
Konstruktiv adäquate Beweisautomatisierung für intuitionistische Logik.
Technische Universität Darmstadt
Dissertation, Bibliographie

Typ des Eintrags: Dissertation
Erschienen: 1999
Autor(en): Korn, Daniel
Art des Eintrags: Bibliographie
Titel: Konstruktiv adäquate Beweisautomatisierung für intuitionistische Logik
Sprache: Deutsch
Publikationsjahr: 1999
Ort: St. Augustin
Verlag: Infix
Band einer Reihe: 198
Kollation: XV, 213 S.
Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik
Hinterlegungsdatum: 19 Nov 2008 15:56
Letzte Änderung: 05 Mär 2013 08:31
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