TU Darmstadt
ULB
TUbiblio
Blättern nach Person
Ebene hoch |
Anzahl der Einträge: 1.
Kreitz, Christoph ; Mantel, Heiko ; Otten, Jens ; Schmitt, Stephan
Hrsg.: McCune, William (1997)
Connection-Based Proof Construction in Linear Logic.
Konferenzveröffentlichung, Bibliographie