电子书百科大全 Automated Deduction — CADE-24: 24th International Conference on Automated Deduction, Lake Placid, NY, USA, June 9-14, 2013, Proceedings (Lecture .. / Lecture Notes in Artificial Intelligence)
Get this book Contact Email: girro@qq.com
Hardcover: 470 pages
Publisher: Springer (May 16, 2013)
Language: English
ISBN-10: 3642385737
Automated Deduction — CADE-24: 24th International
未经允许不得转载：电子书百科大全 » Automated Deduction — CADE-24: 24th International
相关推荐
- 100 Facts About Artificial Intelligence: English to Spanish (100 Facts Language Learning Series) (Spanish Edition)
- Cyber Security From Beginner To Expert Cyber Security Made Easy For Absolute Beginners
- SPSS For Beginners: An Illustrative Step-by-Step Approach to Analyzing Statistical data
- Learn to Code: Learn HTML, CSS and JavaScript and build a website, an app and a game
- Pro Angular 16
- Oracle Linux Cookbook: Embrace Oracle Linux and master Linux Server management
- Developing Blockchain Solutions in the Cloud: Design and develop blockchain-powered Web3 apps on AWS, Azure, and GCP
- Android Programming for Beginners: Learn All the Java and Android Skills You Need to Start Making Powerful Mobile Applications