Вы здесь

Главная

дедукция

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

Distibuted Deduction by Clause-Diffusion: the Aquarius Prover
Ecological Partial Deduction: Preserving Characteristic Trees without Constraints
Efficient Strategies for Automated Reasoning in Modal Logics
Endomorphic Typing
Ensuring Global Termination of Partial Deduction while Allowing Flexible Polyvariance
Evolution of Objects and Schema in Deductive Databases
Fast Termination of the Deductive Process in Resolution Proof Systems for Non-Classical Logics
Generality in Artificial Intelligence
Generating Finite Counter Examples with Semantic Tableaux
Handbook of Automated Reasoning. Volume I
Handling Version Sets Through Feature Logic
Integrating the Symbolic and the Sub-Symbolic Level in Sonar-Based Navigation
Logic Programming: Proc. of the Twelfth Intern. Conf. on Logic Programming
Logic Program Synthesis and Transformation - Meta-Programming in Logic: Proc./4th Intern. Workshop, LOPSTR 94. Pisa, Italy, June 1994
Machine Deduction
Metaprogramming through Intensional Deduction: Some Examples
Natural Deduction Proof Theory for Logic Programming
On Fairness in Distributed Automated Deduction
On Loop Detection in Connection Calculi
On the Use of Constraints in Automated Deduction
Order-sorted algebra I: equational deduction for multiple inheritance, overloading, expetions and partial operations
Partial Deduction and Driving are Equivalent
Partial Deduction of Disjunctive Logic Programs: A Declarative Approach
Partial Deduction of the Ground Representation and its Application to Integrity Checking
Program Extraction in a Logical Framework Setting
Rapport D activite 1990, Annexe Technique, Programme 2, Calcul symbolique, programmation et Genie logiciel
Reasoning with Contexts
Rigid Unification by Completion and Rigid Paramodulation
Simulating Reactive Systems by Deduction
Some Applications of Gentzen s Proof Theory in Automated Deduction
Static Analysis: Proc./26th International Symposium, SAS 2019, Porto, Portugal, October 2019
The EVES System
Theory Reasoning in First Order Calculi
Towards First-order Deduction Based on Shannon Graphs
Translation-Based Deduction Methods for Modal Logics
Verifying Liveness by Augmented Abstraction
Versioning System Models Through Description Logic
Z-Module Reasoning: An Equality-Oriented Proving Method with Built-in Ring Axioms
Алгоритмы обоб ения в объектно-ориентированных базах данных
Персональный компьютер как средство проведения вычислительных экспериментов с целью формирования математических понятий и гипотез
Примитивы дедукции и их комбинирование при построении экспертных систем
Программное моделирование параллельной системы дедуктивного вывода
Расширение дедуктивных языков запросов конструкциями с ограниченным квантором всеоб ности
Теория дедуктивных систем и ее применения
Теория дедуктивных систем и ее применения