1
出版 2005
書本目錄: ... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...
獲取全文
電子 電子書
2
出版 2015
書本目錄: ... and Floating-Point Arithmetic -- CPArec: Verifying Recursive Programs via Source-to-Source Program...
獲取全文
電子 電子書
3
出版 2010
書本目錄: ... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...
獲取全文
電子 電子書