Vi bøger
Trustpilot
Levering: 1 - 2 hverdage
Hjælp
Login
  1. Forside
  2. Bøger
  3. Business og læring
  4. Computer og IT
  5. Computational Logic and Set Theory

Computational Logic and Set Theory - Domenico Cantone - Bog

- Applying Formalized Logic to Analysis

af Domenico Cantone, Jacob T. Schwartz, Eugenio G. Omodeo
Computational Logic and Set Theory af Domenico Cantone
Bag om 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.

Vis mere
  • Sprog:
  • Engelsk
  • ISBN:
  • 9781447160182
  • Indbinding:
  • Paperback
  • Sideantal:
  • 416
  • Udgivet:
  • 6. September 2014
  • Udgave:
  • 2011
  • Størrelse:
  • 235x155x23 mm.
  • Vægt:
  • 659 g.
  • 2-3 uger.
  • 17. Oktober 2024

Normalpris

Medlemspris

Prøv i 30 dage for 45 kr.
Herefter fra 79 kr./md. Ingen binding.

Bag om Domenico Cantone

Vis alle bøger af Domenico Cantone

Beskrivelse af 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.

Brugerbedømmelser af Computational Logic and Set Theory



Andre købte også..
Find lignende bøger
Bogen Computational Logic and Set Theory findes i følgende kategorier:

Gør som tusindvis af andre bogelskere

Tilmeld dig nyhedsbrevet og få gode tilbud og inspiration til din næste læsning.