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 Apr 23 03:48:59 2024 CEST generiert.
OAI 2.0-Basis-URL: https://tubiblio.ulb.tu-darmstadt.de/cgi/oai2 TUbiblio verwendet EPrints 3.
Drucken | Impressum | Datenschutzerklärung