Logic and Games on Automatic Structures

Logic and Games on Automatic Structures

Playing with Quantifiers and Decompositions

bởi Lukasz Kaiser
2/5
Xuất bản lần đầu
Aug 05, 2011
Các nhà xuất bản
Springer

Các sách

Sách tương tự