TU Darmstadt
ULB
TUbiblio
Browse by Person
Up a level |
Number of items: 1.
Book Section
Blumensath, Achim ; Colcombet, Thomas ; Löding, Christof (2007)
Logical theories and compatible operations.
In: Logic and automata: History and Perspectives
Book Section, Bibliographie