eBook.de : Ihr Online Shop für eBooks, Reader, Downloads und Bücher
Connect 01/2015 eBook-Shops: Testsieger im epub Angebot, Testurteil: gut Die Welt: Kundenorientierte Internetseiten Prädikat GOLD
+49 (0)40 4223 6096

The Seventeen Provers of the World

Foreword by Dana S. Scott.
Sofort lieferbar
Buch (gebunden)
Buch (gebunden) € 69,99* inkl. MwSt.
Dieser Artikel ist auch verfügbar als:

Produktdetails

Titel: The Seventeen Provers of the World

ISBN: 3540307044
EAN: 9783540307044
Foreword by Dana S. Scott.
Auflage 2006.
Bibliographie.
Book.
Sprache: Englisch.
Herausgegeben von Freek Wiedijk
Springer-Verlag GmbH

3. Februar 2006 - gebunden - XVI

  • Empfehlen
Commemorating the 50th anniversary of the first time a mathematical theorem was proven by a computer system, Freek Wiedijk initiated the present book in 2004 by inviting formalizations of a proof of the irrationality of the square root of two from scientists using various theorem proving systems.
The 17 systems included in this volume are among the most relevant ones for the formalization of mathematics. The systems are showcased by presentation of the formalized proof and a description in the form of answers to a standard questionnaire. The 17 systems presented are HOL, Mizar, PVS, Coq, Otter/Ivy, Isabelle/Isar, Alfa/Agda, ACL2, PhoX, IMPS, Metamath, Theorema, Leog, Nuprl, Omega, B method, and Minlog.

Informal.
HOL.
Mizar.
PVS.
Coq.
Otter/Ivy.
Isabelle/Isar.
Alfa/Agda.
ACL2.
PhoX.
IMPS.
Metamath.
Theorema.
Lego.
Nuprl.
?mega.
B Method.
Minlog.
From the reviews:

"The central idea of the book is to provide a comparison-somehow on the surface-of different proof systems. ... the book is accessible to everybody with elementary school knowledge of mathematics. ... this book is a must for everybody developing a proof system. ... Everybody who uses (or like to use) a theorem prover will find it useful. ... it is essential to locate your prover in the world of theorem proving." (Reinhard Kahle, Studia Logica, Vol. 87, 2007)
Kundenbewertungen zu „The Seventeen Provers of the World“
Noch keine Bewertungen vorhanden
Zur Rangliste der Rezensenten
Veröffentlichen Sie Ihre Kundenbewertung:
Kundenbewertung schreiben
Unsere Leistungen auf einen Klick
Unser Service für Sie
Zahlungsmethoden
Bequem, einfach und sicher mit eBook.de. mehr Infos akzeptierte Zahlungsarten: Überweisung, offene Rechnung,
Visa, Master Card, American Express, Paypal mehr Infos
Geprüfte Qualität
  • Schnelle Downloads
  • Datenschutz
  • Sichere Zahlung
  • SSL-Verschlüsselung
Servicehotline
+49 (0)40 4223 6096
Mo. - Fr. 8.00 - 20.00 Uhr
Sa. 10.00 - 18.00 Uhr
Chat
Ihre E-Mail-Adresse eintragen und kostenlos informiert werden:
2 Diese Artikel unterliegen nicht der Preisbindung, die Preisbindung dieser Artikel wurde aufgehoben oder der Preis wurde vom Verlag gesenkt. Die jeweils zutreffende Alternative wird Ihnen auf der Artikelseite dargestellt. Angaben zu Preissenkungen beziehen sich auf den vorherigen Preis.

3 Durch Öffenen der Leseprobe willigen Sie ein, dass Daten an den Anbieter der Leseprobe übermittelt werden.

4 Der gebundene Preis dieses Artikels wird nach Ablauf des auf der Artikelseite dargestellten Datums vom Verlag angehoben.

5 Der Preisvergleich bezieht sich auf die unverbindliche Preisempfehlung (UVP) des Herstellers.

6 Der gebundene Preis dieses Artikels wurde vom Verlag gesenkt. Angaben zu Preissenkungen beziehen sich auf den vorherigen Preis.

7 Die Preisbindung dieses Artikels wurde aufgehoben. Angaben zu Preissenkungen beziehen sich auf den vorherigen Preis.

* Alle Preise verstehen sich inkl. der gesetzlichen MwSt. Informationen über den Versand und anfallende Versandkosten finden Sie hier

eBook.de - Meine Bücher immer dabei
eBook.de ist eine Marke der Hugendubel Digital GmbH & Co. KG
Folgen Sie uns unter: