関連のトピックス ...
関連のトピックス ...
提案スペルによる検索:
constructive computing » construction computing, constructive computation, constructive community
computing programming » computer programming, computers programming
programming logic » programmable logic
logic concepts » basic concepts
concepts a » concepts _
constructive computing » construction computing, constructive computation, constructive community
computing programming » computer programming, computers 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...”全文の入手
電子媒体
eBook
2
出版事項 2008
目次:
“... Revision from Examples -- DL-FOIL Concept Learning in Description Logics -- Feature Discovery with Type...”全文の入手
電子媒体
eBook
3
出版事項 2008
目次:
“... -- Language Constructs for Multi-agent Programming -- -Tropos -- A Heuristic Approach to P2P Negotiation...”全文の入手
電子媒体
eBook
4
出版事項 2005
目次:
“.... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...”全文の入手
電子媒体
eBook
5
出版事項 2010
目次:
“...Invited Talk -- A Risk-Driven Decision Table for Software Process Selection -- Process Alignment...”全文の入手
電子媒体
eBook
6
出版事項 2007
目次:
“...Why Fuzzy Logic? – A Spectrum of Theoretical and Pragmatics Issues -- On Fuzzy Set Theories...”全文の入手
電子媒体
eBook
7
出版事項 2015
目次:
“... -- Non-cumulative Resource Analysis -- Value Slice: A New Slicing Concept for Scalable Property Checking...”全文の入手
電子媒体
eBook
8
目次:
“... to Verifications, and on to Falsifications -- Falsificationism -- Part 3. Logics -- Introduction to Part Three...”
全文の入手
全文の入手
電子媒体
eBook
9
出版事項 2006
目次:
“... Functorial Framework for Constraint Normal Logic Programming -- A Stochastic Theory of Black-Box Software...”全文の入手
電子媒体
eBook
10
目次:
“...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...”
全文の入手
全文の入手
電子媒体
eBook
11
出版事項 2005
目次:
“... -- Efficiently Computing a Linear Extension of the Sub-hierarchy of a Concept Lattice -- A Generic Algorithm...”全文の入手
電子媒体
eBook
12
出版事項 2006
目次:
“... of Control -- Programming Language Concepts for Multimedia Application Development -- Implicit and Dynamic...”全文の入手
電子媒体
eBook
13
出版事項 2013
目次:
“... an Error-Tolerant Construction of EL⊥-Ontologies from Data Using Formal Concept Analysis -- Using Pattern...”全文の入手
電子媒体
eBook
14
目次:
“... automata and self-organization. - 2. Embodiment Processes and Biological Computing -- 1. The game of life...”
全文の入手
全文の入手
電子媒体
eBook
15
出版事項 2005
目次:
“... Evaluation of (Co)Recursive Functions -- A Virtual Machine for Functional Logic Computations -- Source-Based...”全文の入手
電子媒体
eBook
16
出版事項 2005
目次:
“... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”全文の入手
電子媒体
eBook
17
出版事項 2010
目次:
“... -- Three Roots for Leibniz’s Contribution to the Computational Conception of Reason -- Development of a...”全文の入手
電子媒体
eBook
18
出版事項 2012
目次:
“...-In-Time Compiler for Haskell -- Lazy Generation of Canonical Test Programs -- Generic Monadic Constructs...”全文の入手
電子媒体
eBook
19
著者: Ehrig, Hartmut., Ehrig, Hartmut., Ehrig, Karsten., Prange, Ulrike., Taentzer, Gabriele.
出版事項 2006
目次:
“... Construction -- Graph Transformation Systems -- Adhesive High-Level Replacement Categories and Systems...”出版事項 2006
全文の入手
電子媒体
eBook
20
出版事項 2015
目次:
“... -- Fusing Quantifiers and Connectives: Is Intuitionistic Logic Different?; Pagin, Peter -- On constructive...”全文の入手
電子媒体
eBook