Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
structure computational » structures computational, structure composition
programming recursion » programming decision, programming session, programming decisions
mathematics » mathematical
structure computational » structures computational, structure composition
programming recursion » programming decision, programming session, programming decisions
mathematics » mathematical
1
Опубликовано 2005
Оглавление:
“... -- On the Use of Gröbner Bases for Computing the Structure of Finite Abelian Groups -- Normal Forms...”Полный текст
Электронный ресурс
eКнига
2
Опубликовано 2008
Оглавление:
“... Highly Flexible Data Structure for Multi-level Visibility of P2P Communities -- Mathematical Performance...”Полный текст
Электронный ресурс
eКнига
3
Опубликовано 2008
Оглавление:
“... Linear Constraints for Moding CLP( ) Programs -- On Polymorphic Recursion, Type Systems, and Abstract...”Полный текст
Электронный ресурс
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Книга