Proof Assistants and Their Applications in Mathematics and Computer Science - Computer Science Foundations and Applied Logic - - Books - Springer International Publishing AG - 9783031851896 - March 6, 2027
In case cover and title do not match, the title is correct

Proof Assistants and Their Applications in Mathematics and Computer Science - Computer Science Foundations and Applied Logic

Price
NZ$ 136
excl. VAT
Expected delivery Mar 15 - 18, 2027
Christmas presents can be returned until 31 January

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

Proof assistants are computer programs that help users formally describe mathematical statements and proofs, making them amenable to mechanical checking. During the last decade, the use of proof assistants has grown steadily, and they are now at the same time a research topic in its own right and a tool for researchers in other domains.

Media Books     Hardcover Book   (Book with hard spine and cover)
To be released March 6, 2027
ISBN13 9783031851896
Publishers Springer International Publishing AG
Pages 390
Dimensions 150 × 220 × 20 mm   ·   617 g   (Weight (estimated))
Editor Blanchette, Jasmin
Editor Mahboubi, Assia

More from the same publisher