- 5 Ergebnisse
Kleinster Preis: € 18,00, größter Preis: € 87,96, Mittelwert: € 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)
Bestellen
bei Achtung-Buecher.de
€ 44,44
Versand: € 0,001
Bestellengesponserter Link
Laudet, M. (Herausgeber); Schützenberger, M. (Herausgeber); Nolin, L. (Herausgeber); Lacombe, D. (Herausgeber):

Symposium on Automatic Demonstration Held at Versailles/France, Decembre 1968 - neues Buch

1970, ISBN: 3540049142

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

Versandkosten:Versandkostenfrei innerhalb der BRD. (EUR 0.00) MARZIES.de Buch- und Medienhandel, 14621 Schönwalde-Glien
2
Bestellen
bei buchfreund.de
€ 18,00
Versand: € 4,001
Bestellengesponserter 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
3
Symposium on Automatic Demonstration
Bestellen
bei Hugendubel.de
€ 42,99
Versand: € 0,001
Bestellengesponserter 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)
4
Bestellen
bei Biblio.co.uk
$ 94,15
(ca. € 87,96)
Versand: € 19,621
Bestellengesponserter 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
5
Symposium on Automatic Demonstration - M. Laudet; D. Lacombe; L. Nolin; M. Schützenberger
Bestellen
bei lehmanns.de
€ 42,75
Versand: € 0,001
Bestellengesponserter Link
M. Laudet; D. Lacombe; L. Nolin; M. Schützenberger:
Symposium on Automatic Demonstration - Erstausgabe

1970, ISBN: 9783540049142

Taschenbuch

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

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

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

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 (Vienna)
Detailseite zuletzt geändert am 2024-01-21T05:48:43+01:00 (Vienna)
ISBN/EAN: 3540049142

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...