TU Darmstadt / ULB / TUbiblio

A connection based proof method for intuitionistic logic

Otten, J. ; Kreitz, :
A connection based proof method for intuitionistic logic.
In: Workshop on Theorem Proving with Analytic Tableaux and Related Methods <4, 1995>: Proceedings. Hrsg.: P. Baumgartner (u.a.) S. 122-137 , 918 . Springer , New York
[Konferenz- oder Workshop-Beitrag], (1995)

Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
Erschienen: 1995
Autor(en): Otten, J. ; Kreitz,
Titel: A connection based proof method for intuitionistic logic
Sprache: Englisch
Reihe: Workshop on Theorem Proving with Analytic Tableaux and Related Methods <4, 1995>: Proceedings. Hrsg.: P. Baumgartner (u.a.) S. 122-137
Band: 918
Ort: New York
Verlag: Springer
Edition: New York: Springer, 1995
Fachbereich(e)/-gebiet(e): Fachbereich Informatik
Hinterlegungsdatum: 19 Nov 2008 15:58
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen