Ähnliche Schlagwörter innerhalb Ihrer Suche.
Andere Suchmöglichkeiten:
constructive computing » construction computing, constructive computation, constructive community
computing programming » computer programming, computers programming
programming logics » programming logic, programming logical, programming topics
logics concepts » logic concepts, logical concepts, logistics concepts
concepts a » concepts _
1
Buchumschlag
Veröffentlicht 2013
Inhaltsangabe: “... Logic Programming -- Opening Doors: An Initial SRL Approach -- Probing the Space of Optimal Markov Logic...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
2
Buchumschlag
Veröffentlicht 2008
Inhaltsangabe: “... in Description Logics -- Querying and Merging Heterogeneous Data by Approximate Joins on Higher-Order Terms -- A...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
3
Buchumschlag
Veröffentlicht 2008
Inhaltsangabe: “... -- Actions with Failures in Interval Temporal Logic -- A Logic for Reasoning about Rational Agents -- Formal...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
4
Buchumschlag
Veröffentlicht 2005
Inhaltsangabe: “... Logic Programming Languages -- The Four Sons of Penrose -- An Algorithmic Account of Ehrenfeucht Games...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
5
Buchumschlag
Veröffentlicht 2015
Inhaltsangabe: “... for Verifying C Programs -- SMACK+Corral: A Modular Verifier -- Ultimate Automizer with Array Interpolation...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
6
Buchumschlag
Veröffentlicht 2010
Inhaltsangabe: “... -- An Automatic Approach to Aid Process Integration within a Secure Software Processes Family -- Engineering...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
7
Buchumschlag
von Addis, Tom., Addis, Tom., Addis, Jan.
Veröffentlicht 2010
Inhaltsangabe: “... and Schematic Design -- Adult Things -- Higher Order Programming and Lower Level Activity -- Programming...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
8
Buchumschlag
Veröffentlicht 2007
Inhaltsangabe: “... Concepts, Approaches and Applications -- Fuzzy Predictive Earth Analysis Constrained by Heuristics Applied...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
9
Buchumschlag
Veröffentlicht 2005
Inhaltsangabe: “... Concept Analysis Approach to Exploring Communities on the World Wide Web -- Automatic Selection of Noun...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
10
Buchumschlag
Veröffentlicht 2006
Inhaltsangabe: “... Approach to Regular Sets -- Models, Deduction, and Computation -- Elementary Algebraic Specifications...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
11
Buchumschlag
von Kapsner, Andreas., Kapsner, Andreas.
Veröffentlicht 2014
Inhaltsangabe: “... and the Logic N3 -- Stage Four -- Stage Three: Hybrid Strategies -- Summary -- Appendix....”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
12
Buchumschlag
Veröffentlicht 2013
Inhaltsangabe: “... Structures for Analyzing Ontology-Based Annotations of Biomedical Data -- Formal Concept Analysis via Atomic...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
13
Buchumschlag
Veröffentlicht 2006
Inhaltsangabe: “... of Control -- Programming Language Concepts for Multimedia Application Development -- Implicit and Dynamic...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
14
Buchumschlag
Veröffentlicht 2005
Inhaltsangabe: “... Evaluation of (Co)Recursive Functions -- A Virtual Machine for Functional Logic Computations -- Source-Based...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
15
Buchumschlag
Veröffentlicht 2005
Inhaltsangabe: “... and Corpus Transformation to a Chunking Task -- Extracting Computer Algebra Programs from Statements...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
16
Buchumschlag
Veröffentlicht 2010
Inhaltsangabe: “...: Renormalization Program -- Computational Complexity Aspects in Membrane Computing -- Computable Ordered Abelian...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
17
Buchumschlag
Veröffentlicht 2012
Inhaltsangabe: “...Functional Instrumentation of ActionScript Programs with Asil -- Fairness for Transactional Events...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
18
Buchumschlag
Inhaltsangabe: “... Confluence for Typed AGT Systems -- Adhesive HLR Categories for Typed Attributed Graphs -- Constraints...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
19
Buchumschlag
Veröffentlicht 2015
Inhaltsangabe: “.... Agris -- 14 Modern Logic as a Tool for Remedying Ambiguities in Legal Documents and Analyzing...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
20
Buchumschlag
Veröffentlicht 2008
Inhaltsangabe: “... Decomposition to Compute Answer Similarity in a Language Independent Approach to Question Answering...”
Volltext
Elektronisch E-Book
Zu den Favoriten
Gespeichert in:
Suchwerkzeuge: RSS-Feed abonnieren — Diese Suche als E-Mail versenden — Suche speichern