Große Auswahl an günstigen Büchern
Alles immer versandkostenfrei!
Schnelle Lieferung per Post und DHL
Kundenservice
Login
  1. Startseite
  2. Bücher
  3. Wirtschaft & Schule
  4. Computer & IT
  5. Computational Logic and Set Theory

Computational Logic and Set Theory

- Applying Formalized Logic to Analysis

von Domenico Cantone, Jacob T. Schwartz, Eugenio G. Omodeo
Computational Logic and Set Theory von Domenico Cantone Sie sparen 10% des UVP sparen 10%
Ü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.

Mehr anzeigen
  • Sprache:
  • Englisch
  • ISBN:
  • 9781447160182
  • Einband:
  • Taschenbuch
  • Seitenzahl:
  • 416
  • Veröffentlicht:
  • 6. September 2014
  • Ausgabe:
  • 2011
  • Abmessungen:
  • 235x155x23 mm.
  • Gewicht:
  • 659 g.
  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:

Willkommen bei den Tales Buchfreunden und -freundinnen

Jetzt zum Newsletter anmelden und tolle Angebote und Anregungen für Ihre nächste Lektüre erhalten.