TY - GEN
AU - Hofmann, Martin
AU - Lange, Martin
TI - Automatentheorie und Logik
PB - Springer-Verlag Berlin Heidelberg
SN - 9783642180903
KW - Computer science
KW - Computer Science
KW - Mathematical logic.
KW - Aufgabensammlung
KW - Endlicher Automat
KW - Formale Sprache
KW - Wort Informatik
KW - Baum Mathematik
KW - Monadische Logik
KW - Automatentheorie
KW - Logik
PY - 2011
N2 - Includes bibliographical references and index
N2 - T. 1. Endliche Wörter -- T. 2. Undendliche Wörter -- T. 3. Endliche Bäume -- T. 4. Unendliche Bäume.
BT - eXamen.press
BT - SpringerLink ; Bücher
CY - Berlin, Heidelberg
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation