1. Forside
  2. Bøger
  3. Engelske bøger
  4. Brugergrænsefladedesign og brugervenlighed
  5. Matematisk datateori
  6. Dataarkitektur og logisk design
  7. Computational Logic and Set Theory: Applying Formalized Logic...

Computational Logic and Set Theory: Applying Formalized Logic to Analysis

(Bog, Hardback, Engelsk)
Forfattere: Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
Forlag: Springer London Ltd

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Brugergrænsefladedesign og brugervenlighed Dataarkitektur og logisk design Matematisk datateori
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

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

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer London Ltd
Forfattere Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
Type Bog
Format Hardback
Sprog Engelsk
Udgivelsesdato 16-07-2011
Første udgivelsesår 2011
Illustrationer XVII, 416 p.
Originalsprog United Kingdom
Sideantal 416
Indbinding Hardback
Forlag Springer London Ltd
Sideoplysninger 416 pages, XVII, 416 p.
Mål 243 x 166 x 30
ISBN-13 / EAN-13 9780857298072