Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
programming recursion » programming decision, programming session, programming decisions
function computation » function computing, function decomposition, section computational
arrays a » arrays _
programming recursion » programming decision, programming session, programming decisions
function computation » function computing, function decomposition, section computational
arrays a » arrays _
1
Опубликовано 2005
Оглавление:
“... -- On the Complexity of Universal Programs -- Finite Sets of Words and Computing -- Universality and Cellular Automata...”Полный текст
Электронный ресурс
eКнига
2
Оглавление:
“... matching -- Functions with multiple definitions -- Recursive functions -- Linear algebra -- Graphics...”
Полный текст
Полный текст
Электронный ресурс
eКнига
3
Оглавление:
“...1. Introduction -- 1.1 Mathematica as a calculator -- 1.2 Numbers -- 1.3 Algebraic computations...”
Полный текст
Полный текст
Электронный ресурс
eКнига
4
Опубликовано 2007
Оглавление:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”Полный текст
Электронный ресурс
eКнига
5
Опубликовано 2005
Оглавление:
“... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”Полный текст
Электронный ресурс
eКнига
6
Опубликовано 2015
Оглавление:
“... Systems -- Verifying Concurrent Programs by Memory Unwinding -- AutoProof: Auto-Active Functional...”Полный текст
Электронный ресурс
eКнига