Blättern nach Person
 | Ebene hoch |
Springe zu: Deutsch
Anzahl der Einträge: 2.
Deutsch
Béjar, Ramon ; Hähnle, Reiner ; Manyà, Felip (2001)
A Modular Reduction of Regular Logic to Classical Logic.
Konferenzveröffentlichung, Bibliographie
Beckert, Bernhard ; Hähnle, Reiner ; Manyà, Felip (1999)
Transformations between Signed and Classical Clause Logic.
Konferenzveröffentlichung, Bibliographie
Drucken
Impressum