Обзоры
Отзывов пока нет
Станьте первым, кто оставит отзыв о этой книге и поделится своими мыслями
Войдите, чтобы оставить отзыв
Second-Order Quantifier Elimination: Foundations, Computational Aspects, and Applications
Оценок пока нет
Apr 17, 2008
·
Английский
·
Мягкая обложка
(320 страницы)