Foreslåede emner i din søgning.
Foreslåede emner i din søgning.
Søg alternativer:
programming semantics » programming mathematics, programming series, programming secrets
programming recursion » programming decision, programming session, programming decisions
function computation » function computing, function decomposition, section computational
arrays via » arrays a
programming semantics » programming mathematics, programming series, programming secrets
programming recursion » programming decision, programming session, programming decisions
function computation » function computing, function decomposition, section computational
arrays via » arrays a
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