Name: Computational Logic and Set Theory
Price: 54.00 EUR
Availability: InStock
Author: Domenico Cantone
ISBN: 9780857298072

Computational Logic and Set Theory von Domenico Cantone

Sie sparen 0% des UVP sparen 0%

Über Computational Logic and Set Theory

Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the AEtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory.

Sprache:
Englisch

ISBN:
9780857298072

Verlag:
Springer London Ltd

Einband:
Gebundene Ausgabe

Seitenzahl:
416

Veröffentlicht:
16. Juli 2011

Abmessungen:
166x243x30 mm.

Gewicht:
824 g.

54,00 € inkl. MwSt.
~~54,00 €~~ UVP

Versandkostenfrei

Versandfertig in 1-2 Wochen.

Verlängerte Rückgabefrist bis 31. Januar 2025

Keine Lieferung vor Weihnachten möglich.
Kaufen Sie jetzt und drucken Sie einen Gutschein aus

Über Domenico Cantone

Alle Bücher von Domenico Cantone anzeigen

Beschreibung von Computational Logic and Set Theory

Schwartz on computational logic and set theory and its application to proof verification techniques, culminating in the AEtnaNova system, a prototype computer program designed to verify the correctness of mathematical proofs presented in the language of set theory.

Kund*innenbewertungen von Computational Logic and Set Theory

Andere kauften auch ...

Ähnliche Bücher finden

Das Buch Computational Logic and Set Theory ist in den folgenden Kategorien erhältlich:

Wirtschaft & Schule > Computer & IT

Computational Logic and Set Theory

Über Domenico Cantone

Beschreibung von Computational Logic and Set Theory

Kund*innenbewertungen von Computational Logic and Set Theory

Willkommen bei den Tales Buchfreunden und -freundinnen