TY - GEN
AU - Kaiser, Łukasz
TI - Logic and Games on Automatic Structures Playing with Quantifiers and Decompositions
PB - Springer Berlin Heidelberg
SN - 9783642228070
KW - Algebra Data processing
KW - Logic, Symbolic and mathematical
KW - Computer Science
KW - Computer science
KW - Artificial intelligence
KW - Machine theory.
KW - Mathematical logic.
KW - Spieltheorie
KW - Automat Automatentheorie
KW - Mathematische Logik
KW - Model Checking
KW - Lindström-Quantor
PY - 2011
BT - Lecture Notes in Computer Science ; 6810
BT - SpringerLink ; Bücher
CY - Berlin, Heidelberg
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation