Proof Assistants and Their Applications in Mathematics and Computer Science
Book Details
Format
Hardback or Cased Book
Book Series
Computer Science Foundations and Applied Logic
ISBN-10
3031851897
ISBN-13
9783031851896
Publisher
Springer International Publishing AG
Imprint
Springer International Publishing AG
Country of Manufacture
GB
Country of Publication
GB
Publication Date
Jan 12th, 2026
Print length
390 Pages
Product Classification:
Mathematical logicMaths for computer scientists
AI Summary
Ksh 11,700.00
Werezi Extended Catalogue
0 in stock
Delivery Location
Delivery fee: Select location
Secure
Quality
Fast
Proof assistants are computer programs that help users formally describe mathematical statements and proofs, making them amenable to mechanical checking.
Get Proof Assistants and Their Applications in Mathematics and Computer Science by at the best price and quality guaranteed only at Werezi Africa's largest book ecommerce store. The book was published by Springer International Publishing AG and it has pages.
Discover books you might love based on this title.
More in This Genre
A Bridge to Higher Mathematics
Ksh 20,700.00
Algorithms and Theory of Computation Handbook - 2 Volume Set
Ksh 82,800.00
Artificial Intelligence and Machine Learning
Ksh 8,100.00
Model Validation and Uncertainty Quantification, Volume 3
Ksh 36,000.00
Advanced Smart Computing Technologies in Cybersecurity and Forensics
Ksh 18,900.00
Cryptocurrency Forensics and Investigation using Open Source Intelligence Techniques (OSINT)
Ksh 21,600.00
