Вы здесь

Главная

логический

Связанные издания:

A Theory of Directed Logic Programs and Streams
A Theory of Logic Program Specialization and Generalization for Dealing with Input Data Properties
A Tiny Constraint Functional Logic Language and Its Continuation Semantics
A Tool for Abstract Interpretation: Dynamic Programming
A Tour Advisory System Using a Logic Programming Approach
A Transformation System for Lazy Functional Logic Programs
A Transformation System for Modular CLP Programs
A Tutorial on Synthesis of Logic Programs from Specifications
A Two Steps Semantics for Logic Programs with Negation
A Typed Foundation for Directional Logic Programming
A unification graph with constraints for intelligent backtracking in deduction systems
Autoepistematic Logics as a Unifying Framework for the Semantics of Logic Programs
Automated Deduction - CADE-23: Proc./23rd International Conference on AD, Wroclaw, Poland, July/August 2011
Automated Deduction - CADE 26: Proc./26th International Conference on AD, Gothenburg, Sweden, August 2017
Automated Inductive Reasoning About Logic Programs
Automated Reasoning with Analytic Tableaux and Related Methods: Proc./16th International Conference, TABLEAUX 2007. Aix en Provence, France, July 2007
Automated Strategies for Specializing Constraint Logic Programs
Automatic Complexity Analysis of Logic Programs
Automatic Diagnosis of VLSI Digital Circuits Using Algorithmic Debugging
Automatic Generation of Valid Linear Mesures for CLP(P) Programs
Automatic Inference of Norms: a Missing Link in Automatic Termination Analysis
Automatic Termination Analysis of Logic Programs
Automattic Generation of Simplification Lemmas for Inductive Proofs
A Verified Implementation of Narrowing
Avoiding Dynamic Delays in Functional Logic Programs
Avoiding Non-Termination when Learning Logic Programs: A Case Study with FOIL and FOCL
A WAM-Based Implementation of a Logic Language with Sets
Axiomatization of Fuctional Logic Language
Axioms in Definitional Calculi
BABEL: A Functional and Logic Programming Language based on constructor discipline and narrowing
Backtracking without Trailing in CLP(R )
Backward Type Inference Generalises Type Checking
Beginnings of a Theory of General Database Completions
Begriffsverzeichnis: a Concept Index
Belief Revision: A Vade-mecum
Beyond Finite Domains
Beyond Tamaki-Sato Style Unfold/Fold Transformations for Normal Logic Programs
Binding Environments for Parallel Logic Programs in Non-Shared Memory Multiprocessors
Binding Time Analysis: A New PERspectives
BinProlog: a Continuation Passing Style Prolog Engine
Birkhoff s HSP-Theorem for Cumulative Logic Programs
Blackboard Programming in Shared Prolog
Blending Imperative and Relational Programming
Boolean Constraint Solving Using CLP(FD)
Boolean Functions for Dependency Analysis: Algebraic Properties and Efficient Representation
Bottom-up Abstract Interpretation of Logic Programs
Branching Programs - An Efficient Data Structure for Computer-Aided Circuit Design
Building and Executing Proof Strategies in a Formal Metatheory
Building and Using a Highly Parallel Programmable Logic Array
CAMEL: An Extension of the Categorical Abstract Machine to Compile Functional/Logic Programs