TU Darmstadt / ULB / TUbiblio

Issues in theorem proving based on the connection method

Bibel, Wolfgang ; Brüning, ; Ugly, ; Korn, ; Rath, :
Issues in theorem proving based on the connection method.
In: Workshop on Theorem Proving with Analytic Tableaux and Related Methods <4, 1995>: Proceedings. Hrsg.: P. Baumgartner (u.a.) S. 1-16 , 918 . Springer , New York
[Konferenz- oder Workshop-Beitrag], (1995)

Typ des Eintrags: Konferenz- oder Workshop-Beitrag (Keine Angabe)
Erschienen: 1995
Autor(en): Bibel, Wolfgang ; Brüning, ; Ugly, ; Korn, ; Rath,
Titel: Issues in theorem proving based on the connection method
Sprache: Englisch
Reihe: Workshop on Theorem Proving with Analytic Tableaux and Related Methods <4, 1995>: Proceedings. Hrsg.: P. Baumgartner (u.a.) S. 1-16
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