TU Darmstadt
ULB
TUbiblio
Blättern nach Person
Ebene hoch |
Springe zu: 2007
Anzahl der Einträge: 1.
2007
Blumensath, Achim ; Colcombet, Thomas ; Löding, Christof (2007)
Logical theories and compatible operations.
In: Logic and automata: History and Perspectives
Buchkapitel, Bibliographie