1
Udgivet 2005
Indholdsfortegnelse: ... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...
Få fuldtekst
Electronisk eBog
2
Udgivet 2015
Indholdsfortegnelse: ... and Floating-Point Arithmetic -- CPArec: Verifying Recursive Programs via Source-to-Source Program...
Få fuldtekst
Electronisk eBog