Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
programming recursion » programming decision, programming session, programming decisions
computing programming » computer programming, computers programming
function computing » education computing, generation computing
recursion what » decision what, recursion a, revision what
what circuits » a circuits, data circuits, iet circuits
programming recursion » programming decision, programming session, programming decisions
computing programming » computer programming, computers programming
function computing » education computing, generation computing
recursion what » decision what, recursion a, revision what
what circuits » a circuits, data circuits, iet circuits
1
Опубликовано 2010
Оглавление:
“... Predicates, (Co)algebraic Datatypes, and (Co)recursive Functions -- Combining Theorem Proving and Narrowing...”Полный текст
Электронный ресурс
eКнига
