在您的搜尋 主題建議
在您的搜尋 主題建議
搜索替代詞:
programming reasoning » programming learning, programming designing, programming evolving
programming recursion » programming decision, programming session, programming decisions
function computation » function computing, function decomposition, section computational
programming reasoning » programming learning, programming designing, programming evolving
programming recursion » programming decision, programming session, programming decisions
function computation » function computing, function decomposition, section computational
1
出版 2005
書本目錄:
“... Evaluation of (Co)Recursive Functions -- A Virtual Machine for Functional Logic Computations -- Source-Based...”獲取全文
電子
電子書
2
出版 2006
書本目錄:
“... in Sequential Programs -- Swapping Arguments and Results of Recursive Functions -- Refinement Algebra...”獲取全文
電子
電子書
3
出版 2006
書本目錄:
“... for Automated Reasoning About Pointer Programs -- Bisimulations for Untyped Imperative Objects -- A Typed...”獲取全文
電子
電子書
4
出版 2008
書本目錄:
“...Industrial Functional Programming -- Certified Development Tools Implementation in Objective Caml...”獲取全文
電子
電子書
5
出版 2005
書本目錄:
“... on CoInductive Streams, an Application to Eratosthenes’ Sieve -- Recursive Functions with Higher Order Domains...”獲取全文
電子
電子書
6
出版 2006
書本目錄:
“... of Certificate Chains -- Compositional Reasoning for Hardware/Software Co-verification -- Learning-Based Symbolic...”獲取全文
電子
電子書
7
出版 2006
書本目錄:
“...Fuzzy Sets and Systems -- Rough-Fuzzy Granular Computing, Case Based Reasoning and Data Mining...”獲取全文
電子
電子書
8
出版 2005
書本目錄:
“... -- Recursive Self-organizing Map as a Contractive Iterative Function System -- Differential Priors for Elastic...”獲取全文
電子
電子書
9
出版 2013
書本目錄:
“... for Lexicographic Orders -- Expressive Reasoning on Tree Structures: Recursion, Inverse Programs, Presburger...”獲取全文
電子
電子書
10
出版 2005
書本目錄:
“... Preferences Aggregation -- Ranked Modelling with Feature Selection Based on the CPL Criterion Functions -- A...”獲取全文
電子
電子書
11
出版 2015
書本目錄:
“... for Probabilistic Languages -- Scene Based Reasoning -- Anchoring Knowledge in Interaction: Towards a harmonic...”獲取全文
電子
電子書