Вы здесь

Главная

логический

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

Parallel Evaluation Strategies for Functional Logic Languages
Parallel Generalized LR Parser based on Logic Programming
Parallelizing Algorithms for Symbolic Computation using MAPLE
Parallelizing Recursive Logic Programs through Decomposition
Parallelizing Recursive Logic Programs Through Decomposition
Parallel Logic Programming Systems on Multicomputers
Parameterizing a Groundness Analysis of Logic Programs
Parametric Order-Sorted Types in Logic Programming
Partial Deduction and Driving are Equivalent
Partial Deduction of Disjunctive Logic Programs: A Declarative Approach
Partial Evaluation for Hierarchies of Logic Theories
Partial Evaluation in Logic Programming
Partial Evaluation of Pattern Matching in Constraint Logic Programming Languges
Partial Evaluation Using Concurrent Logic Programming
Partial Order Programming (Revisited)
Path Consistency in clp(ED)
Paths vs. Trees in Set-based Program Analysis
Pattern Recognition: Proc./11th Mexican Conference, MCPR 2019, Queretaro, Mexico, June 2019
Perfect Model Semantics for Logic Programs with Equality
Perfect Relaxation in Constraint Logic Programming
Performance of an OR-Parallel Logic Programming System
Polymorphically Typed Logic Programs
Possibilistic Logic: From Nonmonotonicity to Logic Programming
Pos(T): Analyzing Dependencies in Typed Logic Programs
Practical Aspects of Declarative Languages: Proc./5th Intern. Symp., PADL 2003, New Orleans, LA, USA, January 2003
Practical Aspects of Set Based Analysis
Practical Model-Based Static Analysis for Definite Logic Programs
Pragmatics in the Synthesis of Logic Programs
Predicate Invention in ILP - an Overview
Predicate Invention in Inductive Data Engineering
Predicates as Parameters in Logic Programming
Predire a bon escient
Preserving Termination of Tabled Logic Programs While Unfolding
Preventing Instantiation Errors and Loops for Logic Programs with Multiple Modes Using block Declarations
Prioritized Conflict Handling for Logic Programs
Probabilistic Retrieval Based on Staged Logistic Regression
Program Extraction in a Logical Framework Setting
Programmation logique et Grammaires d attributs
Programming in a distributed environment: a collection of CSSA examples
Programming Language Implementation and Logic Programming: Proc./4th Intern. Symp., PLILP 92. Leuven, Belgium, August 1992
Programming Language Implementation and Logic Programming: Proc./5th Intern. Symp., PLILP 93. Tallinn, Estonia, August 1993
Programming Language Implementation and Logic Programming: Proc./6th Intern. Symp., PLILP 94. Madrid, Spain, September 1994
Programming Languages and Systems - ESOP 94: Proc./5th European Symp. on Programming. Edinburgh, U.K., April 1994.
Programming Languages and Systems: Proc./10th European Symp. on Programming, ESOP 2001, Held as Part of the Joint European Conf. on Theory and Practice of Software, ETAPS 2001, Genova, Italy, April 2001
Programming Methodologies in GCLA
Progress in Artificial Intelligence: Proc./11th Portuguese Conf. on Artificial Intelligence, EPIA 2003, Beja, Portugal, December 2003
Progress in Artificial Intelligence: Proc./6th Portuguese Conf. on AI, EPIA 93. Porto, Portugal, October 1993
Projections of Logic Programs Using Symbol Mappings
Prolog: A Step Toward the Future of Programming
Prolog with Arrays and Bounded Quantifications