Symposium on Automatic Demonstration
Held at Versailles/France, Decembre 1968
(Sprache: Englisch)
Allocution d'ouverture.- Presentation d'un langage de formalisation des demonstrations mathematiques naturelles.- The mathematical language AUTOMATH, its usage, and some of its extensions.- Proof theory and the accuracy of computations.- Aspects du Theoreme...
Leider schon ausverkauft
versandkostenfrei
Buch
42.75 €
Produktdetails
Produktinformationen zu „Symposium on Automatic Demonstration “
Klappentext zu „Symposium on Automatic Demonstration “
Allocution d'ouverture.- Presentation d'un langage de formalisation des demonstrations mathematiques naturelles.- The mathematical language AUTOMATH, its usage, and some of its extensions.- Proof theory and the accuracy of computations.- Aspects du Theoreme de completude selon Herbrand.- Decision procedure for theories categorical in Alefo.- On the long-range prospects of automatic theorem-proving.- The case for using equality axioms in automatic demonstration.- Hilbert's programme and the search for automatic proof procedures.- A linear format for resolution.- Refinement theorems in resolution theory.- Definitional approach to automatic demonstration.- Heuristic interest of using metatheorems.- A proof procedure with matrix reduction.- Axiom systems in automatic theorem proving.- Constructive validity.- Paramodulation and set of support.
Inhaltsverzeichnis zu „Symposium on Automatic Demonstration “
Allocution d'ouverture.- Presentation d'un langage de formalisation des demonstrations mathematiques naturelles.- The mathematical language AUTOMATH, its usage, and some of its extensions.- Proof theory and the accuracy of computations.- Aspects du Theoreme de completude selon Herbrand.- Decision procedure for theories categorical in Alefo.- On the long-range prospects of automatic theorem-proving.- The case for using equality axioms in automatic demonstration.- Hilbert's programme and the search for automatic proof procedures.- A linear format for resolution.- Refinement theorems in resolution theory.- Definitional approach to automatic demonstration.- Heuristic interest of using metatheorems.- A proof procedure with matrix reduction.- Axiom systems in automatic theorem proving.- Constructive validity.- Paramodulation and set of support.
Bibliographische Angaben
- 1970, 320 Seiten, Maße: 15,5 x 23,5 cm, Taschenbuch, Englisch
- Herausgegeben: M. Laudet, M. Schützenberger, L. Nolin, D. Lacombe
- Verlag: Springer Berlin Heidelberg
- ISBN-10: 3540049142
- ISBN-13: 9783540049142
- Erscheinungsdatum: 01.01.1970
Sprache:
Englisch
Kommentar zu "Symposium on Automatic Demonstration"
0 Gebrauchte Artikel zu „Symposium on Automatic Demonstration“
Zustand | Preis | Porto | Zahlung | Verkäufer | Rating |
---|
Schreiben Sie einen Kommentar zu "Symposium on Automatic Demonstration".
Kommentar verfassen