- 5 Ergebnisse
Kleinster Preis: € 34,55, größter Preis: € 40,70, Mittelwert: € 38,01
1
Symposium on Automatic Demonstration
Bestellen
bei Hugendubel.de
€ 39,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link

Symposium on Automatic Demonstration - neues Buch

ISBN: 9783540362623

*Symposium on Automatic Demonstration* - Held at Versailles/France Decembre 1968 / pdf eBook für 39.49 € / Aus dem Bereich: eBooks, Fachthemen & Wissenschaft, Mathematik Medien > Bücher n… Mehr…

Versandkosten:In stock (Download), , Versandkostenfrei nach Hause oder Express-Lieferung in Ihre Buchhandlung., DE. (EUR 0.00)
zuklappen (X)
2
Symposium on Automatic Demonstration
Bestellen
bei eBook.de
€ 39,49
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
Symposium on Automatic Demonstration - neues Buch

ISBN: 9783540362623

Symposium on Automatic Demonstration - Held at Versailles/France Decembre 1968: ab 39.49 € eBooks > Fachthemen & Wissenschaft > Mathematik Springer Berlin Heidelberg eBook als pdf, Spring… Mehr…

Versandkosten:in stock, , , DE. (EUR 0.00)
zuklappen (X)
3
Bestellen
bei lehmanns.de
€ 40,70
Versand: € 0,001
Bestellen
Details beim Anbieter
gesponserter Link
D. Lacombe; M. Laudet; L. Nolin; M. Schutzenberger:
Symposium on Automatic Demonstration - neues Buch

2006

ISBN: 9783540362623

Held at Versailles/France, Decembre 1968, eBooks, eBook Download (PDF), [PU: Springer Berlin Heidelberg], Springer Berlin Heidelberg, 2006

Versandkosten:Download sofort lieferbar. (EUR 0.00)
zuklappen (X)
4
Symposium on Automatic Demonstration : Held at Versailles/France, Decembre 1968 - Armand Borel
Bestellen
bei hive.co.uk
£ 30,59
(ca. € 34,55)
Bestellen
Details und Versand
gesponserter Link
Armand Borel:
Symposium on Automatic Demonstration : Held at Versailles/France, Decembre 1968 - neues Buch

ISBN: 9783540362623

; PDF; Scientific, Technical and Medical > Mathematical foundations, Springer Berlin Heidelberg

No. 9783540362623. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten.
zuklappen (X)
5
Symposium on Automatic Demonstration : Held at Versailles/France, Decembre 1968 - D. E. Dobbs
Bestellen
bei hive.co.uk
£ 30,59
(ca. € 35,83)
Bestellen
Details und Versand
gesponserter Link
D. E. Dobbs:
Symposium on Automatic Demonstration : Held at Versailles/France, Decembre 1968 - neues Buch

ISBN: 9783540362623

; PDF; Scientific, Technical and Medical > Mathematical foundations, Springer Berlin Heidelberg

No. 9783540362623. Versandkosten:Instock, Despatched same working day before 3pm, zzgl. Versandkosten.
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:

9783540362623

Detailangaben zum Buch - Symposium on Automatic Demonstration


EAN (ISBN-13): 9783540362623
Erscheinungsjahr: 2006
Herausgeber: Springer Berlin Heidelberg

Buch in der Datenbank seit 2017-05-02T09:40:40+02:00 (Berlin)
Detailseite zuletzt geändert am 2023-08-31T15:35:12+02:00 (Berlin)
ISBN/EAN: 9783540362623

ISBN - alternative Schreibweisen:
978-3-540-36262-3
Alternative Schreibweisen und verwandte Suchbegriffe:
Autor des Buches: schützenberger, lacomb, schutzenberger, lacombe
Titel des Buches: symposium, versailles

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: 2006-11-15
Berlin; Heidelberg; DE
Sprache: Englisch
39,58 € (DE)
40,70 € (AT)
57,50 CHF (CH)
Available
VI, 310 p.

EA; E107; eBook; Nonbooks, PBS / Mathematik/Grundlagen; Mathematik: Logik; Verstehen; Datenverarbeitung; Mathematica; proof; proof theory; theorem; C; Mathematical Logic and Foundations; Mathematics and Statistics; Mathematische Grundlagen; BC

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:
9783540049142 Symposium on Automatic Demonstration (M. Laudet; D. Lacombe; L. Nolin; M. Schützenberger)

< zum Archiv...