|
|
510
W46
Weinstein, S.
Finite model theory and its applications [Electronic resource] / S. Weinstein. - Electronic text data. - Berlin ; Heidelberg : Springer, 2007. - (Texts in theoretical computer science an eatcs series, ISSN 1862-4499). - ISBN 978-3-540-68804-4 : Б. ц.
Рубрики: Математическая логика
Вычислительная техника
См. : Текст издания
Доп.точки доступа:
SpringerLink (Online service)
Свободных экз. нет
|
|