登入選單

返回Google圖書搜尋

New Results on Quantifier Elimination Over Real Closed Fields and Applications to Constraint Databases

Thomas J. Watson IBM Research CenterSaugata Basu

出版	IBM T.J. Watson Research Center, 1998
URL	http://books.google.com.hk/books?id=6lz3GgAACAAJ&hl=&source=gbs_api