在您的搜寻 主题建议
搜索替代词:
constructive computation » constructive communication, constructive communications, construction competitions
computation programming » communication programming, computation programmatic, computing programming
programming logic » programmable logic
logic concepts » basic concepts
concepts a » concepts _
1
封面图片
出版 2013
书本目录: “... Learning -- A Declarative Modeling Language for Concept Learning in Description Logics -- Identifying...”
获取全文
电子 电子书
加到收藏夹
Saved in:
2
封面图片
出版 2008
书本目录: “... Revision from Examples -- DL-FOIL Concept Learning in Description Logics -- Feature Discovery with Type...”
获取全文
电子 电子书
加到收藏夹
Saved in:
3
封面图片
出版 2008
书本目录: “... -- Language Constructs for Multi-agent Programming -- -Tropos -- A Heuristic Approach to P2P Negotiation...”
获取全文
电子 电子书
加到收藏夹
Saved in:
4
封面图片
出版 2005
书本目录: “.... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...”
获取全文
电子 电子书
加到收藏夹
Saved in:
5
封面图片
出版 2010
书本目录: “...Invited Talk -- A Risk-Driven Decision Table for Software Process Selection -- Process Alignment...”
获取全文
电子 电子书
加到收藏夹
Saved in:
6
封面图片
出版 2007
书本目录: “...Why Fuzzy Logic? – A Spectrum of Theoretical and Pragmatics Issues -- On Fuzzy Set Theories...”
获取全文
电子 电子书
加到收藏夹
Saved in:
7
封面图片
出版 2015
书本目录: “... -- Non-cumulative Resource Analysis -- Value Slice: A New Slicing Concept for Scalable Property Checking...”
获取全文
电子 电子书
加到收藏夹
Saved in:
8
封面图片
书本目录: “... to Verifications, and on to Falsifications -- Falsificationism -- Part 3. Logics -- Introduction to Part Three...”
获取全文
电子 电子书
加到收藏夹
Saved in:
9
封面图片
出版 2006
书本目录: “... Functorial Framework for Constraint Normal Logic Programming -- A Stochastic Theory of Black-Box Software...”
获取全文
电子 电子书
加到收藏夹
Saved in:
10
封面图片
由 Addis, Tom., Addis, Tom., Addis, Jan.
出版 2010
书本目录: “...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...”
获取全文
电子 电子书
加到收藏夹
Saved in:
11
封面图片
出版 2005
书本目录: “... -- Efficiently Computing a Linear Extension of the Sub-hierarchy of a Concept Lattice -- A Generic Algorithm...”
获取全文
电子 电子书
加到收藏夹
Saved in:
12
封面图片
出版 2006
书本目录: “... of Control -- Programming Language Concepts for Multimedia Application Development -- Implicit and Dynamic...”
获取全文
电子 电子书
加到收藏夹
Saved in:
13
封面图片
出版 2013
书本目录: “... an Error-Tolerant Construction of EL⊥-Ontologies from Data Using Formal Concept Analysis -- Using Pattern...”
获取全文
电子 电子书
加到收藏夹
Saved in:
14
封面图片
由 Carsetti, A., Carsetti, A.
出版 2013
书本目录: “... automata and self-organization. - 2. Embodiment Processes and Biological Computing -- 1. The game of life...”
获取全文
电子 电子书
加到收藏夹
Saved in:
15
封面图片
出版 2010
书本目录: “... -- Three Roots for Leibniz’s Contribution to the Computational Conception of Reason -- Development of a...”
获取全文
电子 电子书
加到收藏夹
Saved in:
16
封面图片
出版 2005
书本目录: “... Evaluation of (Co)Recursive Functions -- A Virtual Machine for Functional Logic Computations -- Source-Based...”
获取全文
电子 电子书
加到收藏夹
Saved in:
17
封面图片
出版 2005
书本目录: “... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”
获取全文
电子 电子书
加到收藏夹
Saved in:
18
封面图片
书本目录: “... Construction -- Graph Transformation Systems -- Adhesive High-Level Replacement Categories and Systems...”
获取全文
电子 电子书
加到收藏夹
Saved in:
19
封面图片
出版 2012
书本目录: “...-In-Time Compiler for Haskell -- Lazy Generation of Canonical Test Programs -- Generic Monadic Constructs...”
获取全文
电子 电子书
加到收藏夹
Saved in:
20
封面图片
出版 2015
书本目录: “... -- Fusing Quantifiers and Connectives: Is Intuitionistic Logic Different?; Pagin, Peter -- On constructive...”
获取全文
电子 电子书
加到收藏夹
Saved in:
检索工具: 得到RSS订阅 — 推荐此搜索 — 保存搜索