عنوان
پدید آورنده
موضوع
رده
QA 9.7 .F562
QA
9
.
7
.
F562
کتابخانه
محل استقرار
Finite and algorithmic model theory
Cambridge
Cambridge Univ. Press
c2011
xi, 341 p.: ill
London Mathematical Society lecture note series; 973
"Intended for researchers and graduate students
Includes index
ISBN: 9780521718202
edited by Javier Esparza, Christian Michaux, Charles Steinhorn
1
، Finite model theory
، Computer science -- Mathematics
QA
9
.
7
.
F562
TI
AU Esparza, Javier
AU Michaux, Christian
AU Steinhorn, Charles
SE
