登入選單

返回Google圖書搜尋

On the Use of Second Order Derivatives for the Satisfiability Problem

Hans van Maaren

出版	Faculty of Technical Mathematics, Delft, 1996
URL	http://books.google.com.hk/books?id=Ifb1tgAACAAJ&hl=&source=gbs_api