TU Darmstadt
ULB
TUbiblio
Blättern nach Person
Ebene hoch |
Anzahl der Einträge: 1.
Hähnle, Reiner
Hrsg.: Jackson, Peter ; Scherl, Richard (1993)
Efficient Deduction in Many-Valued Logics.
Konferenzveröffentlichung, Bibliographie