- 5 Ergebnisse
Kleinster Preis: € 18,00, größter Preis: € 87,96, Mittelwert: € 48,06
1
Symposium on Automatic Demonstration : Held at Versailles/France, Decembre 1968 - M. Laudet
Bestellen
bei ZVAB.com
€ 48,60
Versand: € 8,811
Bestellen
Details beim Anbieter
gesponserter Link
M. Laudet:

Symposium on Automatic Demonstration : Held at Versailles/France, Decembre 1968 - Taschenbuch

1970, ISBN: 3540049142

[EAN: 9783540049142], Neubuch, [SC: 8.81], [PU: Springer Berlin Heidelberg], DATENVERARBEITUNG; MATHEMATICA; PROOF; PROOFTHEORY; THEOREM, Druck auf Anfrage Neuware - Printed after orderin… Mehr…

NEW BOOK. Versandkosten: EUR 8.81 AHA-BUCH GmbH, Einbeck, Germany [51283250] [Rating: 5 (von 5)]
zuklappen (X)
2
Symposium on Automatic Demonstration - M. Laudet
Bestellen
bei AbeBooks.de
€ 42,75
Versand: € 24,741
Bestellen
Details beim Anbieter
gesponserter Link

M. Laudet:

Symposium on Automatic Demonstration - Taschenbuch

1970, ISBN: 3540049142

[EAN: 9783540049142], Neubuch, [PU: Springer Berlin Heidelberg Jan 1970], DATENVERARBEITUNG; MATHEMATICA; PROOF; PROOFTHEORY; THEOREM, This item is printed on demand - it takes 3-4 days l… Mehr…

NEW BOOK. Versandkosten: EUR 24.74 BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany [57449362] [Rating: 4 (von 5)]
zuklappen (X)
3
Bestellen
bei buchfreund.de
€ 18,00
Versand: € 4,001
Bestellen
Details beim Anbieter
gesponserter Link
Laudet and Lacombe:
Symposium on Automatic Demonstration: Held at Versailles/France, Decembre 1968 (Lecture Notes in Mathematics) - Taschenbuch

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… Mehr…

Versandkosten:Versandkosten innerhalb der BRD. (EUR 4.00) Die Wortfreunde - Antiquariat Wirthwein, 68161 Mannheim
zuklappen (X)
4
Symposium on Automatic Demonstration
Bestellen
bei Hugendubel.de
€ 42,99
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Symposium on Automatic Demonstration - Taschenbuch

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… Mehr…

Versandkosten:Shipping in 3 days, , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
zuklappen (X)
5
Bestellen
bei Biblio.co.uk
$ 94,15
(ca. € 87,96)
Versand: € 19,621
Bestellen
Details beim Anbieter
gesponserter 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) - Taschenbuch

1968, ISBN: 9783540049142

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

Versandkosten: EUR 19.62 Ergodebooks
zuklappen (X)
1Da einige Plattformen keine Versandkonditionen übermitteln und diese vom Lieferland, dem Einkaufspreis, dem Gewicht und der Größe des Artikels, einer möglichen Mitgliedschaft der Plattform, einer direkten Lieferung durch die Plattform oder über einen Drittanbieter (Marketplace), etc. abhängig sein können, ist es möglich, dass die von eurobuch angegebenen Versandkosten nicht mit denen der anbietenden Plattform übereinstimmen.

Bibliographische Daten des bestpassenden Buches

Details zum Buch
Symposium on Automatic Demonstration
Autor:
Titel:
ISBN-Nummer:

9783540049142

Detailangaben zum Buch - Symposium on Automatic Demonstration


EAN (ISBN-13): 9783540049142
ISBN (ISBN-10): 3540049142
Gebundene Ausgabe
Taschenbuch
Erscheinungsjahr: 1970
Herausgeber: Springer Berlin Heidelberg
320 Seiten
Gewicht: 0,485 kg
Sprache: eng/Englisch

Buch in der Datenbank seit 2008-03-02T19:17:39+01:00 (Zurich)
Detailseite zuletzt geändert am 2024-04-17T16:51:03+02:00 (Zurich)
ISBN/EAN: 9783540049142

ISBN - alternative Schreibweisen:
3-540-04914-2, 978-3-540-04914-2
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: nolin, schützenberger, lacombe, laudet, schütze, noli, lacomb, schutzenberger
Titel des Buches: versailles, symposium automatic demonstration, lecture notes mathematics

Daten vom Verlag:

Autor/in: M. Laudet; D. Lacombe; L. Nolin; M. Schützenberger
Titel: Lecture Notes in Mathematics; Symposium on Automatic Demonstration - Held at Versailles/France, Decembre 1968
Verlag: Springer; Springer Berlin
310 Seiten
Erscheinungsjahr: 1970-01-01
Berlin; Heidelberg; DE
Sprache: Englisch
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.

Weitere, andere Bücher, die diesem Buch sehr ähnlich sein könnten:

Neuestes ähnliches Buch:
9783540362623 Symposium on Automatic Demonstration (D. Lacombe; M. Laudet; L. Nolin; M. Schutzenberger)

< zum Archiv...