Typ des Eintrags: |
Konferenzveröffentlichung
|
Erschienen: |
1993 |
Herausgeber: |
Basin, David ; Fronhöfer, Bertram ; Hähnle, Reiner ; Posegga, Joachim ; Schwind, Camilla |
Art des Eintrags: |
Bibliographie |
Titel: |
2nd Workshop on Theorem Proving with Analytic Tableaux and Related Methods, Marseille/France |
Sprache: |
Deutsch |
Publikationsjahr: |
1993 |
Verlag: |
Max-Planck-Institut für Informatik, Saarbrücken, {MPI}-Report |
Fachbereich(e)/-gebiet(e): |
20 Fachbereich Informatik > Software Engineering 20 Fachbereich Informatik |
Hinterlegungsdatum: |
31 Dez 2016 10:40 |
Letzte Änderung: |
16 Mai 2018 12:06 |
PPN: |
|
Export: |
|
Suche nach Titel in: |
TUfind oder in Google |
![Redaktionelle Details anzeigen Redaktionelle Details anzeigen](/style/images/action_view.png) |
Redaktionelle Details anzeigen |