Logic and Games on Automatic Structures [electronic resource] : Playing with Quantifiers and Decompositions / by Łukasz Kaiser.
By: Kaiser, Łukasz.
Contributor(s): SpringerLink (Online service).
Material type: BookSeries: Lecture Notes in Computer Science, 6810.Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2011Description: digital.ISBN: 9783642228070.Subject(s): Computer science | Algebra -- Data processing | Artificial intelligence | Logic, Symbolic and mathematical | Computer Science | Artificial Intelligence (incl. Robotics) | Mathematical Logic and Formal Languages | Symbolic and Algebraic Manipulation | Mathematical Logic and FoundationsDDC classification: 006.3 Online resources: Click here to access online In: Springer eBooksNo physical items for this record
There are no comments for this item.