TU Darmstadt / ULB / TUbiblio

On converting non-classical matrix proofs into sequent -style systems

Schmitt, Stephan ; Kreitz, (1996)
On converting non-classical matrix proofs into sequent -style systems.
Konferenzveröffentlichung, Bibliographie

Typ des Eintrags: Konferenzveröffentlichung
Erschienen: 1996
Autor(en): Schmitt, Stephan ; Kreitz,
Art des Eintrags: Bibliographie
Titel: On converting non-classical matrix proofs into sequent -style systems
Sprache: Deutsch
Publikationsjahr: 1996
Ort: Berlin (u.a.)
Verlag: Springer
Reihe: International Conference on Automated Deduction <13, 1996>: Proceedings. Hrsg.: M. McRobbie (u.a.) - Berlin (u.a.): Springer, 1996. S. 418-432
Band einer Reihe: 1104
Fachbereich(e)/-gebiet(e): 20 Fachbereich Informatik
Hinterlegungsdatum: 19 Nov 2008 16:23
Letzte Änderung: 05 Mär 2013 08:47
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