- Sprache
-
Englisch
- Identifier
-
1026736242
- Reihe
-
SEKI Report; 96,05
Beteiligte Personen und Organisationen
Kerber, Manfred
Sehn, Arthur C.
Sehn, Arthur C.
- URN
- Rechteinformation
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Letzte Aktualisierung
-
26.01.2023, 13:55 MEZ
Objekttyp
- Monografie
Beteiligte
- Kerber, Manfred
- Sehn, Arthur C.
Ähnliche Objekte (12)
Tactics for the Improvement of Problem Formulation in Resolution-Based Theorem Proving
Adaptation of Declaratively Represented Methods in Proof Planning
Planning Mathematical Proofs with Methods
Methods - The Basic Units for Planning and Verifying Proofs
OMEGA-MKRP - A Proof Development Environment
Adapting Methods to Novel Tasks in Proof Planning
Useful Properties of a Frame-Based Representation of Mathematical Knowledge
How to Prove Higher Order Theorems in First Order Logic
Some Aspects of Analogy in Mathematical Reasoning
A Mechanization of Strong Kleene Logic for Partial Functions
Reasoning with Assertions and Examples
An Integration of Mechanised Reasoning and Computer Algebra that Respects Explicit Proofs
Tactics for the Improvement of Problem Formulation in Resolution-Based Theorem Proving
Adaptation of Declaratively Represented Methods in Proof Planning
Planning Mathematical Proofs with Methods
Methods - The Basic Units for Planning and Verifying Proofs
OMEGA-MKRP - A Proof Development Environment
Adapting Methods to Novel Tasks in Proof Planning
Useful Properties of a Frame-Based Representation of Mathematical Knowledge
How to Prove Higher Order Theorems in First Order Logic
Some Aspects of Analogy in Mathematical Reasoning
A Mechanization of Strong Kleene Logic for Partial Functions
Reasoning with Assertions and Examples
An Integration of Mechanised Reasoning and Computer Algebra that Respects Explicit Proofs
Tactics for the Improvement of Problem Formulation in Resolution-Based Theorem Proving
Adaptation of Declaratively Represented Methods in Proof Planning
Planning Mathematical Proofs with Methods
Methods - The Basic Units for Planning and Verifying Proofs
OMEGA-MKRP - A Proof Development Environment
Adapting Methods to Novel Tasks in Proof Planning
Useful Properties of a Frame-Based Representation of Mathematical Knowledge
How to Prove Higher Order Theorems in First Order Logic
Some Aspects of Analogy in Mathematical Reasoning
A Mechanization of Strong Kleene Logic for Partial Functions
Reasoning with Assertions and Examples