Monografie
A Test for Evaluating the Practical Usefulness of Deduction Systems
- Sprache
-
Englisch
- Identifier
-
1025549600
Beteiligte Personen und Organisationen
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:56 MEZ
Objekttyp
- Monografie
Ähnliche Objekte (12)
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?)
Die Beweisentwicklungsumgebung Omega-MKRP
OMEGA-MKRP - A Proof Development Environment
Methods - The Basic Units for Planning and Verifying Proofs
Omega: Towards a Mathematical Assistant
Mechanising Partiality without Re-Implementation
A Tableau Calculus for Partial Functions
A Resolution Calculus for Presuppositions
A Mechanization of Strong Kleene Logic for Partial Functions
An Integration of Mechanised Reasoning and Computer Algebra that Respects Explicit Proofs
Planning Mathematical Proofs with Methods
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?)
Die Beweisentwicklungsumgebung Omega-MKRP
OMEGA-MKRP - A Proof Development Environment
Methods - The Basic Units for Planning and Verifying Proofs
Omega: Towards a Mathematical Assistant
Mechanising Partiality without Re-Implementation
A Tableau Calculus for Partial Functions
A Resolution Calculus for Presuppositions
A Mechanization of Strong Kleene Logic for Partial Functions
An Integration of Mechanised Reasoning and Computer Algebra that Respects Explicit Proofs
Planning Mathematical Proofs with Methods
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?)
Die Beweisentwicklungsumgebung Omega-MKRP
OMEGA-MKRP - A Proof Development Environment
Methods - The Basic Units for Planning and Verifying Proofs
Omega: Towards a Mathematical Assistant
Mechanising Partiality without Re-Implementation
A Tableau Calculus for Partial Functions
A Resolution Calculus for Presuppositions
A Mechanization of Strong Kleene Logic for Partial Functions
An Integration of Mechanised Reasoning and Computer Algebra that Respects Explicit Proofs