Blättern nach Person
 | Ebene hoch |
Springe zu: 1997
Anzahl der Einträge: 2.
1997
Hähnle, Reiner ; Pape, Christian
Hrsg.: Galmiche, Didier (1997)
Ordered Tableaux: Extensions and Applications.
doi: 10.1007/BFb0027413
Konferenzveröffentlichung, Bibliographie
Hähnle, Reiner ; Murray, Neil ; Rosenthal, Erik
Hrsg.: Galmiche, Didier (1997)
A Remark on Proving Completeness.
Konferenzveröffentlichung, Bibliographie
Drucken
Impressum