- 5 Results
Lowest price: € 18.00, highest price: € 87.96, average price: € 47.23
1
Symposium on Automatic Demonstration Held at Versailles/France, Decembre 1968 - Laudet, M. (Herausgeber); Schützenberger, M. (Herausgeber); Nolin, L. (Herausgeber); Lacombe, D. (Herausgeber)
Order
at Achtung-Buecher.de
€ 44.44
Shipment: € 0.001
OrderSponsored link
Laudet, M. (Herausgeber); Schützenberger, M. (Herausgeber); Nolin, L. (Herausgeber); Lacombe, D. (Herausgeber):

Symposium on Automatic Demonstration Held at Versailles/France, Decembre 1968 - new book

1970, ISBN: 3540049142

1970 Kartoniert / Broschiert Mathematische Grundlagen, Datenverarbeitung; Mathematica; proof; ProofTheory; theorem, mit Schutzumschlag 11, [PU:Springer Berlin Heidelberg; Springer-Verla… More...

Shipping costs:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
2
Order
at buchfreund.de
€ 18.00
Shipment: € 4.001
OrderSponsored link

Laudet and Lacombe:

Symposium on Automatic Demonstration: Held at Versailles/France, Decembre 1968 (Lecture Notes in Mathematics) - Paperback

1970, ISBN: 9783540049142

320 Seiten Taschenbuch 1970. Einband etwas berieben, sonst sauber und gut. Versand D: 4,00 EUR Mathematical foundations, Mathematics, Mathematik / Grundlagen, Grundlagen, Mathematik, Logi… More...

Shipping costs:Versandkosten innerhalb der BRD. (EUR 4.00) Die Wortfreunde - Antiquariat Wirthwein, 68161 Mannheim
3
Symposium on Automatic Demonstration
Order
at Hugendubel.de
€ 42.99
Shipment: € 0.001
OrderSponsored link
Symposium on Automatic Demonstration - Paperback

ISBN: 9783540049142

*Symposium on Automatic Demonstration* - Held at Versailles/France Decembre 1968. Auflage 1970 / Taschenbuch für 42.99 € / Aus dem Bereich: Bücher, Wissenschaft, Mathematik Medien > Büche… More...

Shipping costs:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
4
Order
at Biblio.co.uk
$ 94.15
(aprox. € 87.96)
Shipment: € 19.621
OrderSponsored link
M. Laudet (Editor), D. Lacombe (Editor), L. Nolin (Editor), M. Schützenberger (Editor):
Symposium on Automatic Demonstration: Held at Versailles/France, Decembre 1968 (Lecture Notes in Mathematics) - Paperback

1968, ISBN: 9783540049142

Springer, 1970-01-01. 1970. Paperback. Used:Good., Springer, 1970-01-01, 0

Shipping costs: EUR 19.62 Ergodebooks
5
Symposium on Automatic Demonstration - M. Laudet; D. Lacombe; L. Nolin; M. Schützenberger
Order
at lehmanns.de
€ 42.75
Shipment: € 0.001
OrderSponsored link
M. Laudet; D. Lacombe; L. Nolin; M. Schützenberger:
Symposium on Automatic Demonstration - First edition

1970, ISBN: 9783540049142

Paperback

Held at Versailles/France, Decembre 1968, Buch, Softcover, 1970, [PU: Springer Berlin], Springer Berlin, 1970

Shipping costs:Versand in 10-14 Tagen. (EUR 0.00)

1As some platforms do not transmit shipping conditions to us and these may depend on the country of delivery, the purchase price, the weight and size of the item, a possible membership of the platform, a direct delivery by the platform or via a third-party provider (Marketplace), etc., it is possible that the shipping costs indicated by euro-book.co.uk / euro-book.co.uk do not correspond to those of the offering platform.

Bibliographic data of the best matching book

Details of the book

Details of the book - Symposium on Automatic Demonstration


EAN (ISBN-13): 9783540049142
ISBN (ISBN-10): 3540049142
Hardcover
Paperback
Publishing year: 1970
Publisher: Springer Berlin Heidelberg
320 Pages
Weight: 0,485 kg
Language: eng/Englisch

Book in our database since 2008-03-02T18:17:39+00:00 (London)
Detail page last modified on 2024-01-21T04:48:43+00:00 (London)
ISBN/EAN: 3540049142

ISBN - alternate spelling:
3-540-04914-2, 978-3-540-04914-2
Alternate spelling and related search-keywords:
Book author: nolin, schützenberger, lacombe, laudet, schütze, noli, lacomb, schutzenberger
Book title: versailles, symposium automatic demonstration, lecture notes mathematics


Information from Publisher

Author: M. Laudet; D. Lacombe; L. Nolin; M. Schützenberger
Title: Lecture Notes in Mathematics; Symposium on Automatic Demonstration - Held at Versailles/France, Decembre 1968
Publisher: Springer; Springer Berlin
310 Pages
Publishing year: 1970-01-01
Berlin; Heidelberg; DE
Language: English
42,75 € (DE)
43,95 € (AT)
57,61 CHF (CH)
Available
VI, 310 p.

BC; Hardcover, Softcover / Mathematik/Grundlagen; Mathematik: Logik; Verstehen; Datenverarbeitung; Mathematica; proof; proof theory; theorem; Mathematical Logic and Foundations; Mathematische Grundlagen; EA

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.

More/other books that might be very similar to this book

Latest similar book:
9783540362623 Symposium on Automatic Demonstration (D. Lacombe; M. Laudet; L. Nolin; M. Schutzenberger)


< to archive...