Proof Assistants and Their Applications in Mathematics and Computer Science (Bog, Hardback, Engelsk)
  1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematik til informatikfag
  5. Matematisk logik
  6. Matematikkens fundament
  7. Matematisk datateori
  8. Proof Assistants and Their Applications in Mathematics and...

Proof Assistants and Their Applications in Mathematics and Computer Science

(Bog, Hardback, Engelsk)
Proof Assistants and Their Applications in Mathematics and Computer Science
Forlag: Springer International Publishing AG

Bemærk: Kan ikke garanteres før jul. Se dato på varen.

Forventes på lager: 12-02-2026

Levering: Kan forudbestilles (Forventes d. 12-02-2026)

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

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Matematikkens fundament Matematik til informatikfag Matematisk datateori Matematisk logik
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

Proof assistants are computer programs that help users formally describe mathematical statements and proofs, making them amenable to mechanical checking.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Springer International Publishing AG
Type Bog
Format Hardback
Sprog Engelsk
Udgivelsesdato 12-02-2026
Første udgivelsesår 2026
Serie Computer Science Foundations and Applied Logic
Illustrationer 40 Illustrations, black and white
Fagredaktør Jasmin Blanchette, Assia Mahboubi
Originalsprog Switzerland
Sideantal 390
Indbinding Hardback
Forlag Springer International Publishing AG
Sideoplysninger 390 pages, 40 Illustrations, black and white
Mål 235 x 155
ISBN-13 / EAN-13 9783031851896