عنوان
پدید آورنده
موضوع
رده
QA9.7 B954 2011
QA9
.
7
B954
2011
کتابخانه
محل استقرار
3642059481
9783642059483
b549745
Elements of finite model theory
[Book]
by Leonid Libkin.
Berlin ; London
Springer
2011
1 volume : illustrations ; 24 cm
Texts in theoretical computer science. An EATCS series
Model theory.
QA9
.
7
B954
2011
by Leonid Libkin.
Leonid Libkin
مطالعه متن کتاب [Book]
Y
