Blättern nach Person
 | Ebene hoch |
Anzahl der Einträge: 2.
Hrsg.: Baumgartner, Peter ; Hähnle, Reiner ; Posegga, Joachim (1995)
Theorem Proving with Analytic Tableaux and Related Methods, 4th International Workshop, St. Goar, Germany.
Konferenzveröffentlichung, Bibliographie
Hrsg.: Baumgartner, Peter ; Hähnle, Reiner ; Posegga, Joachim (1995)
Theorem Proving with Analytic Tableaux and Related Methods, 4th International Workshop, St. Goar, Germany. Poster Session and Short Papers.
Konferenzveröffentlichung, Bibliographie
Drucken
Impressum