Second-Order Quantifier Elimination: Foundations, Computational Aspects, and Applications
아직 평점이 없습니다
Apr 17, 2008
·
영어
·
페이퍼백
(320 페이지)