Tópicos Sugeridos dentro de su búsqueda.
Tópicos Sugeridos dentro de su búsqueda.
Buscar alternativas:
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
Publicado 2005
Tabla de Contenidos:
“... -- On the Use of Gröbner Bases for Computing the Structure of Finite Abelian Groups -- Normal Forms...”Enlace del recurso
Electrónico
eBook
2
Publicado 2008
Tabla de Contenidos:
“... Highly Flexible Data Structure for Multi-level Visibility of P2P Communities -- Mathematical Performance...”Enlace del recurso
Electrónico
eBook
3
Publicado 2008
Tabla de Contenidos:
“... Linear Constraints for Moding CLP( ) Programs -- On Polymorphic Recursion, Type Systems, and Abstract...”Enlace del recurso
Electrónico
eBook
4
Publicado 2007
Tabla de Contenidos:
“...Invited Talks -- Automatically Proving Program Termination -- A Mathematical Approach to RTL...”Enlace del recurso
Electrónico
eBook
5
Publicado 2005
Tabla de Contenidos:
“... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”Enlace del recurso
Electrónico
eBook