Akten
Hilbert's programme and the search for automatic proof procedures
Enthält: eine Kopie des Aritkels "Hilbert's programme and the search for automatic proof procedures" aus: Symposium on automatic demonstration. Held at Versailles, France, December 1968, hg. v. Michel Laudet u. Daniel Lacombe, Berlin 1970 ( Lecture Notes in Mathematics 125). Beigegeben ist die Kopie einer handschriftlichen Corrigendaliste und die Kopie einer Rezension des Artikels (Rezensent: Kreisel) für das Zentralblatt für Mathematik.
- Archivaliensignatur
-
PAKN, GK Georg Kreisel, GK 8-1-81
- Umfang
-
26 Bl.
- Kontext
-
Georg Kreisel >> Sonderdruck- und Schriftensammlung >> Sonderdrucksammlung Schriften
- Bestand
-
PAKN, GK Georg Kreisel
- Laufzeit
-
1970
- Weitere Objektseiten
- Letzte Aktualisierung
-
10.06.2025, 11:28 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Archive der Universität Konstanz. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Archive der Universität Konstanz. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Sachakte
Entstanden
- 1970
Ähnliche Objekte (12)
Chapter IX. Hilbert's Proof of Gordan's Theorem.
Automated Proof Search: The Aftermath
First-order calculi and proof procedures for automated deduction
Automatic Contour Deformation of Riemann-Hilbert Problems
Automatic abstraction for bit-vectors using decision procedures
Automatic abstraction for bit-vectors using decision procedures
Improving proof search in intuitionistic propositional logic
Optimizing proof search by machine learning techniques
Proof search without backtracking for free variable tableaux
Proof search without backtracking for free variable tableaux
Goal Lift-up: A Technique for Combining Connection-Tableau-Based Proof Procedures
Proof search in multi-agent dialogues for modal logic
Chapter IX. Hilbert's Proof of Gordan's Theorem.
Automated Proof Search: The Aftermath
First-order calculi and proof procedures for automated deduction
Automatic Contour Deformation of Riemann-Hilbert Problems
Automatic abstraction for bit-vectors using decision procedures
Automatic abstraction for bit-vectors using decision procedures
Improving proof search in intuitionistic propositional logic
Optimizing proof search by machine learning techniques
Proof search without backtracking for free variable tableaux
Proof search without backtracking for free variable tableaux
Goal Lift-up: A Technique for Combining Connection-Tableau-Based Proof Procedures
Proof search in multi-agent dialogues for modal logic
Chapter IX. Hilbert's Proof of Gordan's Theorem.
Automated Proof Search: The Aftermath
First-order calculi and proof procedures for automated deduction
Automatic Contour Deformation of Riemann-Hilbert Problems
Automatic abstraction for bit-vectors using decision procedures
Automatic abstraction for bit-vectors using decision procedures
Improving proof search in intuitionistic propositional logic
Optimizing proof search by machine learning techniques
Proof search without backtracking for free variable tableaux
Proof search without backtracking for free variable tableaux
Goal Lift-up: A Technique for Combining Connection-Tableau-Based Proof Procedures