1
Được phát hành 2008
Mục lục: ... and First-Order Logic -- Derandomizing Graph Tests for Homomorphism -- Definable Filters in the Structure...
lấy văn bản
Điện tử eBook