Siirry suoraan sisältöön
Proof Assistants and Their Applications in Mathematics and Computer Science
Tallenna

Proof Assistants and Their Applications in Mathematics and Computer Science

Proof assistants are computer programs that help users formally describe mathematical statements and proofs, making them amenable to mechanical checking.
ISBN
9783031851896
Kieli
englanti
Paino
446 grammaa
Julkaisupäivä
12.2.2026
Sivumäärä
390