1461265193 - automated theorem proving: theory and practice

book price comparison

"CERTAIN CONTENT THAT APPEARS ON THIS SITE COMES FROM AMAZON SERVICES LLC. THIS CONTENT IS PROVIDED ‘AS IS’ AND IS SUBJECT TO CHANGE OR REMOVAL AT ANY TIME."

We earn commissions from qualifying book & textbook purchases, when you compare textbook prices. Booksprice.com is an Amazon Associate and earn from qualifying purchases. We do not issue alerts for any products through Amazon"

ISBN 1461265193 books & textbook

Automated Theorem Proving: Theory and Practice