Symposium on Automatic Demonstration

M. Laudet

ISBN 10: 3540049142 / ISBN 13: 9783540049142

Published by Springer, Springer Vieweg Jan 1970, 1970

About this Item

This item is printed on demand - Print on Demand Titel. Neuware -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.Springer-Verlag KG, Sachsenplatz 4-6, 1201 Wien 320 pp. Englisch.

Seller Inventory # 9783540049142

Bibliographic Details

• Title: Symposium on Automatic Demonstration
• Publisher: Springer, Springer Vieweg Jan 1970
• Publication Date: 1970
• Language: English
• ISBN 10: 3540049142
• ISBN 13: 9783540049142
• Binding: Taschenbuch
• Condition: Neu
• Dimensions: 235W x 155H x 18D millimeters 235 millimeters width by 155 millimeters height by 18 millimeters depth
• Weight: 487 grams