Предлагаемые темы внутри своего поиска.
Предлагаемые темы внутри своего поиска.
Альтернативы поиска:
constraints programming » constraint programming, constrained programming, constraint programing
compiling constraints » compiling constraint, coupling constraints, computing constraint
programming recursion » programming decision, programming session, programming decisions
recursion arrays » recursion versus
arrays a » arrays _
constraints programming » constraint programming, constrained programming, constraint programing
compiling constraints » compiling constraint, coupling constraints, computing constraint
programming recursion » programming decision, programming session, programming decisions
recursion arrays » recursion versus
arrays a » arrays _
1
Опубликовано 2008
Оглавление:
“... of Aspect-Oriented Programs through Declarative Reasoning -- Efficient Reasoning for Nogoods in Constraint...”Полный текст
Электронный ресурс
eКнига
2
Опубликовано 2006
Оглавление:
“... Checking -- A Compositional Logic for Control Flow -- Detecting Non-cyclicity by Abstract Compilation...”Полный текст
Электронный ресурс
eКнига
3
Опубликовано 2008
Оглавление:
“... Linear Constraints for Moding CLP( ) Programs -- On Polymorphic Recursion, Type Systems, and Abstract...”Полный текст
Электронный ресурс
eКнига
4
Опубликовано 2005
Оглавление:
“... Resolution of Singularities of a Space Curve -- Quantifier Elimination for Constraint Logic Programming...”Полный текст
Электронный ресурс
eКнига