- Language
-
Englisch
- Identifier
-
1026708427
- Series
-
SEKI report; 94,08
Contributor
Kerber, Manfred
Huang, Xiaorong
Cheikhrouhou, Lassaad
Richts, Jörn
Sehn, Arthur
Huang, Xiaorong
Cheikhrouhou, Lassaad
Richts, Jörn
Sehn, Arthur
- URN
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
26.01.2023, 1:56 PM CET
Associated
- Kerber, Manfred
- Huang, Xiaorong
- Cheikhrouhou, Lassaad
- Richts, Jörn
- Sehn, Arthur
Other Objects (12)
Methods - The Basic Units for Planning and Verifying Proofs
Adapting Methods to Novel Tasks in Proof Planning
Guaranteeing Correctness through the Communication of Checkable Proofs : (or: Would You Really Trust an Automated Reasoning System?)
Adaptation of Declaratively Represented Methods in Proof Planning
Reuse of Proofs by Meta-Methods
OMEGA-MKRP - A Proof Development Environment
A Test for Evaluating the Practical Usefulness of Deduction Systems
The Adaption of Proof Methods by Reformulation
Die Beweisentwicklungsumgebung Omega-MKRP
Proving Ground Completeness of Resolution by Proof Planning
Adapting the Diagonalization Method by Reformulations
Some Aspects of Analogy in Mathematical Reasoning
Methods - The Basic Units for Planning and Verifying Proofs
Adapting Methods to Novel Tasks in Proof Planning
Guaranteeing Correctness through the Communication of Checkable Proofs : (or: Would You Really Trust an Automated Reasoning System?)
Adaptation of Declaratively Represented Methods in Proof Planning
Reuse of Proofs by Meta-Methods
OMEGA-MKRP - A Proof Development Environment
A Test for Evaluating the Practical Usefulness of Deduction Systems
The Adaption of Proof Methods by Reformulation
Die Beweisentwicklungsumgebung Omega-MKRP
Proving Ground Completeness of Resolution by Proof Planning
Adapting the Diagonalization Method by Reformulations
Some Aspects of Analogy in Mathematical Reasoning
Methods - The Basic Units for Planning and Verifying Proofs
Adapting Methods to Novel Tasks in Proof Planning
Guaranteeing Correctness through the Communication of Checkable Proofs : (or: Would You Really Trust an Automated Reasoning System?)
Adaptation of Declaratively Represented Methods in Proof Planning
Reuse of Proofs by Meta-Methods
OMEGA-MKRP - A Proof Development Environment
A Test for Evaluating the Practical Usefulness of Deduction Systems
The Adaption of Proof Methods by Reformulation
Die Beweisentwicklungsumgebung Omega-MKRP
Proving Ground Completeness of Resolution by Proof Planning
Adapting the Diagonalization Method by Reformulations