Logic and Games on Automatic Structures

Logic and Games on Automatic Structures

Playing with Quantifiers and Decompositions

по Lukasz Kaiser
2/5
Впервые опубликовано
Aug 05, 2011
Издатели
Springer

Книги

Похожие книги