TU Darmstadt / ULB / TUbiblio

Blättern nach Person

Ebene hoch
Exportieren als [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Gruppiere nach: Keine Gruppierung | Typ des Eintrags | Publikationsjahr | Sprache
Konferenzveröffentlichung | Dissertation
Anzahl der Einträge: 2.

Konferenzveröffentlichung

Korn, Daniel ; Kreitz, (1997)
Deciding intuitionistic propositional logic via translation into classical logic.
Konferenzveröffentlichung, Bibliographie

Dissertation

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

Diese Liste wurde am Tue Dec 17 04:15:18 2024 CET generiert.
OAI 2.0-Basis-URL: https://tubiblio.ulb.tu-darmstadt.de/cgi/oai2 TUbiblio verwendet EPrints 3.
Drucken | Impressum | Datenschutzerklärung