Automated Theorem Proving: Theory and Practice
138.22
USD
Book Details
Author(s)
Monty Newborn
Publisher
Springer
ISBN / ASIN
0387950753
ISBN-13
9780387950754
Marketplace
United States 🇺🇸
Ratings & Reviews
No reviews yet — be the first!
No reviews yet.
