A. Szalas: Полный список книг

A. Szalas: список всех книг (1)

Second Order Quantifier Elimination. Foundations, Computational Aspects and Applications - D. M. Gabbay, R. Schmidt, A. Szalas

Second Order Quantifier Elimination. Foundations, Computational Aspects and Applications

D. M. Gabbay, R. Schmidt, A. Szalas