TY  - BOOK
A1  - / Erich Gradel ... [et al.]
TI  - Finite model theory and its applications
PB  - کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران
SN  - 99682131
UR  /book/99682131/Finite-model-theory-and-its-applications/
ER  -