- Sprache
-
Englisch
- Identifier
-
1026708427
- Reihe
-
SEKI report; 94,08
Beteiligte Personen und Organisationen
Kerber, Manfred
Huang, Xiaorong
Cheikhrouhou, Lassaad
Richts, Jörn
Sehn, Arthur
Huang, Xiaorong
Cheikhrouhou, Lassaad
Richts, Jörn
Sehn, Arthur
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:56 MEZ
Beteiligte
- Kerber, Manfred
- Huang, Xiaorong
- Cheikhrouhou, Lassaad
- Richts, Jörn
- Sehn, Arthur
Ähnliche Objekte (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