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