Save 50% on book bundles
Immediately download your ebook while waiting for your print delivery. No promo code is needed.
Back to School Savings: Save up to 30% on print books and eBooks. No promo code needed.
Back to School Savings: Save up to 30%
1st Edition - October 28, 1988
Authors: Robert S. Boyer, J Strother Moore
Editors: Werner Rheinboldt, Daniel Siewiorek
Perspectives in Computing: A Computational Logic Handbook contains a precise description of the logic and a detailed reference guide to the associated mechanical theorem proving… Read more
Immediately download your ebook while waiting for your print delivery. No promo code is needed.
DS