-
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
-
Link To Document :
