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