1
Pubblicazione 2005
Sommario: ... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...
Testo
Elettronico eBook
2
Pubblicazione 2015
Sommario: ... and Floating-Point Arithmetic -- CPArec: Verifying Recursive Programs via Source-to-Source Program...
Testo
Elettronico eBook
3
Pubblicazione 2010
Sommario: ... Linear Array -- Parallel Prefix Computation in the Recursive Dual-Net -- A Two-Phase Differential...
Testo
Elettronico eBook