Gå direkt till innehållet
Proof Assistants and Their Applications in Mathematics and Computer Science
Spara

Proof Assistants and Their Applications in Mathematics and Computer Science

Lägsta pris på PriceRunner
Proof assistants are computer programs that help users formally describe mathematical statements and proofs, making them amenable to mechanical checking.
ISBN
9783031851896
Språk
Engelska
Vikt
446 gram
Utgivningsdatum
2026-02-12
Sidor
390