Proof Profiles als Buch (kartoniert)
PORTO-
FREI

Proof Profiles

Characteristic Clause Sets and Proof Transformations. Paperback. Sprachen: Deutsch Englisch.
Buch (kartoniert)
Mathematics is of fundamental importance for computer science. On the other
hand, there are also many applications of computer science in mathematics, be
it simulations, numerical calculations or computer algebra systems. Another
interesting applicat … weiterlesen
Buch (kartoniert)

€ 58,99 *

inkl. MwSt.
Portofrei
Sofort lieferbar
590 Lesepunkte
Proof Profiles als Buch (kartoniert)

Produktdetails

Titel: Proof Profiles
Autor/en: Stefan Hetzl

ISBN: 3836470071
EAN: 9783836470070
Characteristic Clause Sets and Proof Transformations.
Paperback.
Sprachen: Deutsch Englisch.
VDM Verlag Dr. Müller e.K.

22. November 2013 - kartoniert - 128 Seiten

Beschreibung

Mathematics is of fundamental importance for computer science. On the other
hand, there are also many applications of computer science in mathematics, be
it simulations, numerical calculations or computer algebra systems. Another
interesting application of this kind is the implementation of logical methods
for investigating mathematical proofs.
In recent years, large electronic libraries of formalized proofs have been
developed. Several case studies have demonstrated that, using such systems,
it is possible to formalize proofs which are large enough to be of current
research interest in mathematics.
This situation creates a high potential for automating existing methods for the
analysis of proofs, which have previously been applied only manually. This book
is an investigation of such a method, and in particular of the results it
provides about the mathematical content and structure of formal proofs.

Portrait

M.Sc. in Computer Science, PhD in Mathematical Logic, Vienna University of Technology.
Servicehotline
089 - 70 80 99 47

Mo. - Fr. 8.00 - 20.00 Uhr
Sa. 10.00 - 20.00 Uhr
Filialhotline
089 - 30 75 75 75

Mo. - Sa. 9.00 - 20.00 Uhr
Sicher & bequem bezahlen:
Bleiben Sie in Kontakt:
Hugendubel App
Hugenduble App im AppStore Hugenduble App im GooglePlayStore
Zustellung durch:
1 Mängelexemplare sind Bücher mit leichten Beschädigungen, die das Lesen aber nicht einschränken. Mängelexemplare sind durch einen Stempel als solche gekennzeichnet. Die frühere Buchpreisbindung ist aufgehoben. Angaben zu Preissenkungen beziehen sich auf den gebundenen Preis eines mangelfreien Exemplars.

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.

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.

10 Ihr Gutschein TONIE10 gilt bis einschließlich 30.11.2020. Sie können den Gutschein ausschließlich online einlösen unter www.hugendubel.de. Keine Bestellung zur Abholung in der Buchhandlung möglich. Der Gutschein gilt nur auf Tonie-Figuren, Tonie-Transporter, Wandregale und Lauscher und nur solange der Vorrat reicht. Der Gutschein ist nicht mit anderen Gutscheinen und Geschenkkarten kombinierbar. Eine Barauszahlung ist nicht möglich. Ein Weiterverkauf und der Handel des Gutscheincodes sind nicht gestattet.

11 Bestellungen ins Ausland und der DHL-Paketversand sind von der kostenfreien Lieferung ausgeschlossen.

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

*** Gilt für Bestellungen auf Hugendubel.de. Von dem verlängerten Rückgaberecht ausgeschlossen sind eBooks, Hörbuch Downloads, tolino select, das Leseglück-Abo, die eKidz.eu Apps sowie phase6 Apps. Das gesetzliche Widerrufsrecht bleibt hiervon unberührt.