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 |
Optionen (nur für Redakteure)
Redaktionelle Details anzeigen |