Tópicos Sugeridos dentro de su búsqueda.
Tópicos Sugeridos dentro de su búsqueda.
Buscar alternativas:
constructive computing » construction computing, constructive computation, constructive community
computing programming » computer programming, computers programming
programming logical » programming logic, programming local, programming practical
logical concepts » logic concepts, ecological concepts, biological concepts
concepts a » concepts _
constructive computing » construction computing, constructive computation, constructive community
computing programming » computer programming, computers programming
programming logical » programming logic, programming local, programming practical
logical concepts » logic concepts, ecological concepts, biological concepts
concepts a » concepts _
1
Publicado 2013
Tabla de Contenidos:
“... Learning -- A Declarative Modeling Language for Concept Learning in Description Logics -- Identifying...”Enlace del recurso
Electrónico
eBook
2
Publicado 2008
Tabla de Contenidos:
“... Revision from Examples -- DL-FOIL Concept Learning in Description Logics -- Feature Discovery with Type...”Enlace del recurso
Electrónico
eBook
3
Publicado 2008
Tabla de Contenidos:
“... -- Language Constructs for Multi-agent Programming -- -Tropos -- A Heuristic Approach to P2P Negotiation...”Enlace del recurso
Electrónico
eBook
4
Publicado 2005
Tabla de Contenidos:
“.... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...”Enlace del recurso
Electrónico
eBook
5
Publicado 2010
Tabla de Contenidos:
“...Invited Talk -- A Risk-Driven Decision Table for Software Process Selection -- Process Alignment...”Enlace del recurso
Electrónico
eBook
6
Publicado 2007
Tabla de Contenidos:
“...Why Fuzzy Logic? – A Spectrum of Theoretical and Pragmatics Issues -- On Fuzzy Set Theories...”Enlace del recurso
Electrónico
eBook
7
Publicado 2015
Tabla de Contenidos:
“... -- Non-cumulative Resource Analysis -- Value Slice: A New Slicing Concept for Scalable Property Checking...”Enlace del recurso
Electrónico
eBook
8
Tabla de Contenidos:
“... to Verifications, and on to Falsifications -- Falsificationism -- Part 3. Logics -- Introduction to Part Three...”
Enlace del recurso
Enlace del recurso
Electrónico
eBook
9
Publicado 2006
Tabla de Contenidos:
“... Functorial Framework for Constraint Normal Logic Programming -- A Stochastic Theory of Black-Box Software...”Enlace del recurso
Electrónico
eBook
10
Tabla de Contenidos:
“...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...”
Enlace del recurso
Enlace del recurso
Electrónico
eBook
11
Publicado 2005
Tabla de Contenidos:
“... -- Efficiently Computing a Linear Extension of the Sub-hierarchy of a Concept Lattice -- A Generic Algorithm...”Enlace del recurso
Electrónico
eBook
12
Publicado 2006
Tabla de Contenidos:
“... of Control -- Programming Language Concepts for Multimedia Application Development -- Implicit and Dynamic...”Enlace del recurso
Electrónico
eBook
13
Publicado 2013
Tabla de Contenidos:
“... an Error-Tolerant Construction of EL⊥-Ontologies from Data Using Formal Concept Analysis -- Using Pattern...”Enlace del recurso
Electrónico
eBook
14
Tabla de Contenidos:
“... automata and self-organization. - 2. Embodiment Processes and Biological Computing -- 1. The game of life...”
Enlace del recurso
Enlace del recurso
Electrónico
eBook
15
Publicado 2005
Tabla de Contenidos:
“... Evaluation of (Co)Recursive Functions -- A Virtual Machine for Functional Logic Computations -- Source-Based...”Enlace del recurso
Electrónico
eBook
16
Publicado 2005
Tabla de Contenidos:
“... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”Enlace del recurso
Electrónico
eBook
17
Publicado 2010
Tabla de Contenidos:
“... -- Three Roots for Leibniz’s Contribution to the Computational Conception of Reason -- Development of a...”Enlace del recurso
Electrónico
eBook
18
Publicado 2012
Tabla de Contenidos:
“...-In-Time Compiler for Haskell -- Lazy Generation of Canonical Test Programs -- Generic Monadic Constructs...”Enlace del recurso
Electrónico
eBook
19
por Ehrig, Hartmut., Ehrig, Hartmut., Ehrig, Karsten., Prange, Ulrike., Taentzer, Gabriele.
Publicado 2006
Tabla de Contenidos:
“... Construction -- Graph Transformation Systems -- Adhesive High-Level Replacement Categories and Systems...”Publicado 2006
Enlace del recurso
Electrónico
eBook
20
Publicado 2015
Tabla de Contenidos:
“... the Language of Legislation to Executable Logic Programs; Adam Wyner -- 16 A Rule–Based Graphical Decision...”Enlace del recurso
Electrónico
eBook