Gå direkte til innholdet
Proof Assistants and Their Applications in Mathematics and Computer Science
Spar

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
Språk
Engelsk
Vekt
446 gram
Utgivelsesdato
12.2.2026
Antall sider
390