电子书百科大全 Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011, Proceedings (Lecture Notes .. Computer Science and General Issues)
Get this book Contact Email: girro@qq.com
Hardcover: 396 pages
Publisher: Springer (August 2, 2011)
Language: English
ISBN-10: 3642228623
Interactive Theorem Proving: Second International
相关推荐
Mastering Time Series Analysis and Forecasting with Python: Bridging Theory and Practice Through Insights, Techniques, and Tools for Effective Time Series Analysis in Python
The Oxford Handbook of European Romanticism
Context Engineering for Verified Output: Master Getting Verified Consistent Output Through Example Stories
Vectorization: A Practical Guide to Efficient Implementations of Machine Learning Algorithms
High Performance Polymers
The Comprehensive DevOps Interview Guide: Mastering DevOps systems for your successful interview
Speaking in the Medieval World
High Performance Polymers 2nd Edition