Proposatutako topikoa bilaketarako iradokizunak
Proposatutako topikoa bilaketarako iradokizunak
Iradokizunak:
functions computational » functions computation, function computation, directions computational
programming recursion » programming decision, programming session, programming decisions
programming semantics » programming mathematics, programming series, programming secrets
arrays via » arrays a
functions computational » functions computation, function computation, directions computational
programming recursion » programming decision, programming session, programming decisions
programming semantics » programming mathematics, programming series, programming secrets
arrays via » arrays a
1
Argitaratua 2005
Aurkibidea:
“... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”Testu osoa
Baliabide elektronikoa
eBook
2
Argitaratua 2015
Aurkibidea:
“... and Floating-Point Arithmetic -- CPArec: Verifying Recursive Programs via Source-to-Source Program...”Testu osoa
Baliabide elektronikoa
eBook