Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
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
Опубликовано 2005
Оглавление:
“... Information -- Intelligent Information Systems -- On Recursive Functions and Well–Founded Relations...”Полный текст
Электронный ресурс
eКнига
2
Опубликовано 2015
Оглавление:
“... and Floating-Point Arithmetic -- CPArec: Verifying Recursive Programs via Source-to-Source Program...”Полный текст
Электронный ресурс
eКнига