TU Darmstadt
ULB
TUbiblio
Blättern nach Person
Ebene hoch |
Springe zu: 1993
Anzahl der Einträge: 1.
1993
Hähnle, Reiner
Hrsg.: Komorowski, Jan ; Raś, Zbigniew (1993)
Short CNF in Finitely-Valued Logics.
Konferenzveröffentlichung, Bibliographie