Monografie
Useful Properties of a Frame-Based Representation of Mathematical Knowledge
- Language
-
Englisch
- Identifier
-
1026736374
- Series
-
SEKI Report; 91,06
Contributor
Kerber, Manfred
- URN
- Rights
-
Der Zugriff auf das Objekt ist unbeschränkt möglich.
- Last update
-
26.01.2023, 1:55 PM CET
Object type
- Monografie
Associated
- Kerber, Manfred
Other Objects (12)
On the Representation of Mathematical Knowledge in Frames and its Consistency
Some Aspects of Analogy in Mathematical Reasoning
On the Representation of Mathematical Concepts and their Translation into First-Order Logic
Tactics for the Improvement of Problem Formulation in Resolution-Based Theorem Proving
Planning Mathematical Proofs with Methods
How to Prove Higher Order Theorems in First Order Logic
A Mechanization of Strong Kleene Logic for Partial Functions
Proving Ground Completeness of Resolution by Proof Planning
Reasoning with Assertions and Examples
Adaptation of Declaratively Represented Methods in Proof Planning
An Integration of Mechanised Reasoning and Computer Algebra that Respects Explicit Proofs
Methods - The Basic Units for Planning and Verifying Proofs
On the Representation of Mathematical Knowledge in Frames and its Consistency
Some Aspects of Analogy in Mathematical Reasoning
On the Representation of Mathematical Concepts and their Translation into First-Order Logic
Tactics for the Improvement of Problem Formulation in Resolution-Based Theorem Proving
Planning Mathematical Proofs with Methods
How to Prove Higher Order Theorems in First Order Logic
A Mechanization of Strong Kleene Logic for Partial Functions
Proving Ground Completeness of Resolution by Proof Planning
Reasoning with Assertions and Examples
Adaptation of Declaratively Represented Methods in Proof Planning
An Integration of Mechanised Reasoning and Computer Algebra that Respects Explicit Proofs
Methods - The Basic Units for Planning and Verifying Proofs
On the Representation of Mathematical Knowledge in Frames and its Consistency
Some Aspects of Analogy in Mathematical Reasoning
On the Representation of Mathematical Concepts and their Translation into First-Order Logic
Tactics for the Improvement of Problem Formulation in Resolution-Based Theorem Proving
Planning Mathematical Proofs with Methods
How to Prove Higher Order Theorems in First Order Logic
A Mechanization of Strong Kleene Logic for Partial Functions
Proving Ground Completeness of Resolution by Proof Planning
Reasoning with Assertions and Examples
Adaptation of Declaratively Represented Methods in Proof Planning
An Integration of Mechanised Reasoning and Computer Algebra that Respects Explicit Proofs