TU Darmstadt / ULB / TUbiblio

Proof reconstruction in classical and nonclassical logics

Schmitt, Stephan :
Proof reconstruction in classical and nonclassical logics.
Akad. Verl.-Ges. Aka , Berlin
[Dissertation]

Typ des Eintrags: Dissertation
Erschienen: 2000
Autor(en): Schmitt, Stephan
Titel: Proof reconstruction in classical and nonclassical logics
Sprache: Englisch
Band: 239
Ort: Berlin
Verlag: Akad. Verl.-Ges. Aka
Kollation: XII,216 S.
Fachbereich(e)/-gebiet(e): Fachbereich Informatik
Hinterlegungsdatum: 19 Nov 2008 15:54
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen