电子书百科大全 Computer-Aided Reasoning: An Approach (Advances in Formal Methods)
Authors: Matt Kaufmann – Panagiotis Manolios – J Strother Moore
ISBN-10: 1461370035
ISBN-13: 9781461370031
Edition: Softcover reprint of the original 1st ed. 2000
Release: October 12, 2012
Paperback: 270 pages
List Price $329.00
Computer-Aided Reasoning: An Approach
未经允许不得转载：电子书百科大全 » Computer-Aided Reasoning: An Approach
相关推荐
- 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