Toggle navigation
My
Book
List
Главная
Списки книг
О сайте
Контакты
Войти
Главная
Все книги A. Szalas
A. Szalas: Полный список книг
A. Szalas: список всех книг (1)
Second Order Quantifier Elimination. Foundations, Computational Aspects and Applications
D. M. Gabbay, R. Schmidt, A. Szalas