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
Noneist Explorations II
Ksh 19,800.00
Hidden Markov Models and Applications
Ksh 19,800.00
A Singular Introduction to Commutative Algebra
Ksh 7,200.00
Logic Without Gaps or Gluts
Ksh 16,200.00
Mathematical Aspects of Computer and Information Sciences
Ksh 8,100.00
Computer-Aided Architectural Design. Design Imperatives: The Future is Now
Ksh 16,200.00
