RecordNumber
926
Author
Kaiser, Łukasz
Title
Logic and Games on Automatic Structures
SubTitle
Playing with Quantifiers and Decompositions
Publication
Springer
Publication Year
2011
Collation
118p.
Notes
Lecture Notes in Artificial Intelligence 6810 , براي دانلود و مشاهده مقاله به قسمت لينكهاي مرتبط مراجعه نماييد
ISBN
978-3-642-22806-3