Blättern nach Person
 | Ebene hoch |
Anzahl der Einträge: 2.
Konferenzveröffentlichung
Kreitz, Christoph ; Mantel, Heiko ; Otten, Jens ; Schmitt, Stephan
Hrsg.: McCune, William (1997)
Connection-Based Proof Construction in Linear Logic.
Konferenzveröffentlichung, Bibliographie
Korn, Daniel ; Kreitz, Christoph
Hrsg.: McCune, William (1997)
Deciding intuitionistic propositional logic via translation into classical logic.
14th International Conference on Automated Deduction (CADE-14). Townsville, North Queensland, Australia (13.07.1997-17.07.1997)
Konferenzveröffentlichung, Bibliographie
Drucken
Impressum