TU Darmstadt / ULB / TUbiblio

2nd Workshop on Theorem Proving with Analytic Tableaux and Related Methods, Marseille/France

Basin, David ; Fronhöfer, Bertram ; Hähnle, Reiner ; Posegga, Joachim ; Schwind, Camilla (eds.) (1993):
2nd Workshop on Theorem Proving with Analytic Tableaux and Related Methods, Marseille/France.
Max-Planck-Institut für Informatik, Saarbrücken, {MPI}-Report, [Conference or Workshop Item]

Item Type: Conference or Workshop Item
Erschienen: 1993
Editors: Basin, David ; Fronhöfer, Bertram ; Hähnle, Reiner ; Posegga, Joachim ; Schwind, Camilla
Title: 2nd Workshop on Theorem Proving with Analytic Tableaux and Related Methods, Marseille/France
Language: German
Publisher: Max-Planck-Institut für Informatik, Saarbrücken, {MPI}-Report
Divisions: 20 Department of Computer Science > Software Engineering
20 Department of Computer Science
Date Deposited: 31 Dec 2016 10:40
Identification Number: BFHPS93
Export:
Suche nach Titel in: TUfind oder in Google
Send an inquiry Send an inquiry

Options (only for editors)
Show editorial Details Show editorial Details