TU Darmstadt / ULB / TUbiblio

Logical theories and compatible operations

Blumensath, Achim ; Colcombet, Thomas ; Löding, Christof (2007)
Logical theories and compatible operations.
In: Logic and automata: History and Perspectives
Buchkapitel, Bibliographie

Typ des Eintrags: Buchkapitel
Erschienen: 2007
Autor(en): Blumensath, Achim ; Colcombet, Thomas ; Löding, Christof
Art des Eintrags: Bibliographie
Titel: Logical theories and compatible operations
Sprache: Englisch
Publikationsjahr: 2007
Ort: Amsterdam
Verlag: University Press
Buchtitel: Logic and automata: History and Perspectives
Fachbereich(e)/-gebiet(e): 04 Fachbereich Mathematik
Hinterlegungsdatum: 20 Nov 2008 08:27
Letzte Änderung: 05 Mär 2013 09:13
PPN:
Export:
Suche nach Titel in: TUfind oder in Google
Frage zum Eintrag Frage zum Eintrag

Optionen (nur für Redakteure)
Redaktionelle Details anzeigen Redaktionelle Details anzeigen