Chủ đề được đề xuất trong tìm kiếm của bạn.
Tìm kiếm thay thế:
constructive computation » constructive communication, constructive communications, construction competitions
computation programming » communication programming, computation programmatic, computing programming
programming logics » programming logic, programming logical, programming topics
logics concepts » logic concepts, logical concepts, logistics concepts
concepts a » concepts _
1
Ảnh bìa
Được phát hành 2013
Mục lục: “... Learning -- A Declarative Modeling Language for Concept Learning in Description Logics -- Identifying...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
2
Ảnh bìa
Được phát hành 2008
Mục lục: “... Revision from Examples -- DL-FOIL Concept Learning in Description Logics -- Feature Discovery with Type...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
3
Ảnh bìa
Được phát hành 2008
Mục lục: “... -- Language Constructs for Multi-agent Programming -- -Tropos -- A Heuristic Approach to P2P Negotiation...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
4
Ảnh bìa
Được phát hành 2005
Mục lục: “.... The BarcelogicTools -- Scaling Up: Computers vs. Common Sense -- A New Constraint Solver for 3D Lattices and Its...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
5
Ảnh bìa
Được phát hành 2010
Mục lục: “...Invited Talk -- A Risk-Driven Decision Table for Software Process Selection -- Process Alignment...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
6
Ảnh bìa
Được phát hành 2007
Mục lục: “...Why Fuzzy Logic? – A Spectrum of Theoretical and Pragmatics Issues -- On Fuzzy Set Theories...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
7
Ảnh bìa
Được phát hành 2015
Mục lục: “... -- Non-cumulative Resource Analysis -- Value Slice: A New Slicing Concept for Scalable Property Checking...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
8
Ảnh bìa
Bằng Kapsner, Andreas., Kapsner, Andreas.
Được phát hành 2014
Mục lục: “... to Verifications, and on to Falsifications -- Falsificationism -- Part 3. Logics -- Introduction to Part Three...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
9
Ảnh bìa
Được phát hành 2006
Mục lục: “... Functorial Framework for Constraint Normal Logic Programming -- A Stochastic Theory of Black-Box Software...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
10
Ảnh bìa
Bằng Addis, Tom., Addis, Tom., Addis, Jan.
Được phát hành 2010
Mục lục: “...Preface -- Why Schematic Functional Programming -- Making Changes -- In Pursuit of Elegance -- Mind...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
11
Ảnh bìa
Được phát hành 2005
Mục lục: “... -- Efficiently Computing a Linear Extension of the Sub-hierarchy of a Concept Lattice -- A Generic Algorithm...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
12
Ảnh bìa
Được phát hành 2006
Mục lục: “... of Control -- Programming Language Concepts for Multimedia Application Development -- Implicit and Dynamic...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
13
Ảnh bìa
Được phát hành 2013
Mục lục: “... an Error-Tolerant Construction of EL⊥-Ontologies from Data Using Formal Concept Analysis -- Using Pattern...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
14
Ảnh bìa
Bằng Carsetti, A., Carsetti, A.
Được phát hành 2013
Mục lục: “... automata and self-organization. - 2. Embodiment Processes and Biological Computing -- 1. The game of life...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
15
Ảnh bìa
Được phát hành 2010
Mục lục: “... -- Three Roots for Leibniz’s Contribution to the Computational Conception of Reason -- Development of a...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
16
Ảnh bìa
Được phát hành 2005
Mục lục: “... Evaluation of (Co)Recursive Functions -- A Virtual Machine for Functional Logic Computations -- Source-Based...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
17
Ảnh bìa
Được phát hành 2005
Mục lục: “... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
18
Ảnh bìa
Mục lục: “... Construction -- Graph Transformation Systems -- Adhesive High-Level Replacement Categories and Systems...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
19
Ảnh bìa
Được phát hành 2012
Mục lục: “...-In-Time Compiler for Haskell -- Lazy Generation of Canonical Test Programs -- Generic Monadic Constructs...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
20
Ảnh bìa
Được phát hành 2015
Mục lục: “... the Language of Legislation to Executable Logic Programs; Adam Wyner -- 16 A Rule–Based Graphical Decision...”
lấy văn bản
Điện tử eBook
Lưu vào danh sách
Đã lưu trong:
Công cụ tìm kiếm: Nhận nguồn cấp dữ liệu RSS — Tìm kiếm email này — Lưu tìm kiếm