在您的搜尋 主題建議
在您的搜尋 主題建議
搜索替代詞:
constructive computation » constructive communication, constructive communications, construction competitions
computation programming » communication programming, computation programmatic, computing programming
programming proof » programming problem, programming program, programming project
proof concepts » proof concept, proof contexts, proxy concepts
concepts a » concepts _
constructive computation » constructive communication, constructive communications, construction competitions
computation programming » communication programming, computation programmatic, computing programming
programming proof » programming problem, programming program, programming project
proof concepts » proof concept, proof contexts, proxy concepts
concepts a » concepts _
1
出版 2010
書本目錄:
“... Computation Models -- The Ordinal of Skolem + Tetration Is ? 0 -- Proofs, Programs, Processes -- Ergodic-Type...”獲取全文
電子
電子書
2
出版 2015
書本目錄:
“...Prawitz, proofs, and meaning; Wansing, Heinrich -- A short scientific autobiography; Prawitz, Dag...”獲取全文
電子
電子書
3
出版 2012
書本目錄:
“... and educational perspectives of proof -- 6. Why proof? A historian’s perspective: Judith V. Grabiner -- 7...”獲取全文
電子
電子書
4
出版 2015
書本目錄:
“... -- Non-cumulative Resource Analysis -- Value Slice: A New Slicing Concept for Scalable Property Checking...”獲取全文
電子
電子書
5
出版 2006
書本目錄:
“... Functorial Framework for Constraint Normal Logic Programming -- A Stochastic Theory of Black-Box Software...”獲取全文
電子
電子書
6
出版 2008
書本目錄:
“... -- Language Constructs for Multi-agent Programming -- -Tropos -- A Heuristic Approach to P2P Negotiation...”獲取全文
電子
電子書
7
出版 2005
書本目錄:
“.... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...”獲取全文
電子
電子書
8
出版 2006
書本目錄:
“...Keynote Speech -- Emergence in Organic Computing Systems: Discussion of a Controversial Concept...”獲取全文
電子
電子書
9
出版 2008
書本目錄:
“... Use: Construction of Special University Timetables -- A Relation Algebraic Semantics for a Lazy...”獲取全文
電子
電子書
10
出版 2014
書本目錄:
“...-Computer Interaction in a Proof of Concept -- A Heuristic Model of Vibrotactile Haptic Feedbacks...”獲取全文
電子
電子書
11
出版 2013
書本目錄:
“... generic non-intrusive fault detection framework -- A Witnessing Compiler: A Proof of Concept -- Runtime...”獲取全文
電子
電子書
12
出版 2008
書本目錄:
“...Invited Talks -- Grounding Concrete Motion Concepts with a Linguistic Framework -- Emotion...”獲取全文
電子
電子書
13
14
出版 2010
書本目錄:
“... Classification Rules with Gene Expression Programming: A Preliminary Study -- Solving Classification Problems...”獲取全文
電子
電子書
15
出版 2008
書本目錄:
“... -- A Concept-Driven Construction of the Mondex Protocol Using Three Refinements -- A Scenario-Based...”獲取全文
電子
電子書
16
書本目錄:
“... -- Gaps, Gluts and Paraconsistency -- Part 2. Falsifications -- Introduction to Part Two -- From Proofs...”
獲取全文
獲取全文
電子
電子書
17
出版 2005
書本目錄:
“... Construction of Virtual Organizations in Grid Computing Systems -- A Graph-Theoretic Network Security Game...”獲取全文
電子
電子書
18
書本目錄:
“... Functions by Decision Trees -- 4 Algorithms for Decision Tree Construction -- 5 Problems Over Information...”
獲取全文
獲取全文
電子
電子書
19
出版 2005
書本目錄:
“... Beliefs in Rescue Situations -- Coevolutionary Processes for Strategic Decisions -- Automatic Proofs...”獲取全文
電子
電子書
20
出版 2007
書本目錄:
“... Constructive Homological Algebra in Type Theory -- What Might “Understand a Function” Mean? -- Biform Theories...”獲取全文
電子
電子書