Книги автора «R. Schmidt»

На данной странице предаставлены все книги автора «R. Schmidt»

Зарегистрироваться на сайте Подробнее
Какие книги написал «R. Schmidt»

Книги

Second Order Quantifier Elimination. Foundations, Computational Aspects and Applications

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