TU Darmstadt
ULB
TUbiblio
Blättern nach Person
Ebene hoch |
Springe zu: 2001
Anzahl der Einträge: 1.
2001
Béjar, Ramon ; Hähnle, Reiner ; Manyà, Felip (2001)
A Modular Reduction of Regular Logic to Classical Logic.
Konferenzveröffentlichung, Bibliographie