89.95
Proof assistants are computer programs that help users formally describe mathematical statements and proofs, making them amenable to mechanical checking.
- : Springer International Publishing Ag
- : Springer International Publishing Ag
- : 9783031851896
- : Engels
- : Hardcover
- : 390
- : juni 2025
- : 700
- : 215 x 140 x 27 mm.
- : Computer Science Foundations and Applied Logic
- : Discrete wiskunde