1
出版 2013
書本目錄: ... and Evaluation -- Certification of Bounds of Non-linear Functions: The Templates Method -- Verifying a Plaftorm...
獲取全文
電子 電子書
2
出版 2005
書本目錄: ... in Exploiting Dependent And-Parallelism in Logic Programming: Leftness Detection in Dynamic Search Trees...
獲取全文
電子 電子書