在您的搜尋 主題建議
在您的搜尋 主題建議
搜索替代詞:
computations constraint » computations constrained, computational constraints, computing constraint
constraint programing » constraint programming, constraints programming, constrained programming
programing recursion » programming recursion, programming decision, programming version
recursion arrays » recursion versus
arrays a » arrays _
computations constraint » computations constrained, computational constraints, computing constraint
constraint programing » constraint programming, constraints programming, constrained programming
programing recursion » programming recursion, programming decision, programming version
recursion arrays » recursion versus
arrays a » arrays _
1
出版 2005
書本目錄:
“... Resolution of Singularities of a Space Curve -- Quantifier Elimination for Constraint Logic Programming...”獲取全文
電子
電子書
2
出版 2007
書本目錄:
“...: Verification of Multithreaded Dynamic and Recursive Programs -- Session VIII: Reactive Designs -- Anzu: A Tool...”獲取全文
電子
電子書
3
出版 2012
書本目錄:
“... and Applications to Aerodynamics .-Processor Array Design with the Use of Genetic Algorithm.-A Hybrid Genetic...”獲取全文
電子
電子書
4
出版 2005
書本目錄:
“... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”獲取全文
電子
電子書
5
出版 2008
書本目錄:
“... of Aspect-Oriented Programs through Declarative Reasoning -- Efficient Reasoning for Nogoods in Constraint...”獲取全文
電子
電子書
6
出版 2006
書本目錄:
“... for Parameterized Verification -- Error Control for Probabilistic Model Checking -- Field Constraint Analysis -- A...”獲取全文
電子
電子書
7
出版 2008
書本目錄:
“... Linear Constraints for Moding CLP( ) Programs -- On Polymorphic Recursion, Type Systems, and Abstract...”獲取全文
電子
電子書
8
出版 2010
書本目錄:
“... Computational Method for Defeasible Argumentation Based on a Recursive Warrant Semantics -- Evolutionary...”獲取全文
電子
電子書