No products in the cart.
Return to shop
Showing all 2 results
eBook PDF
Integrating Equational Reasoning into Instantiation Based Theorem Proving 1st Edition by Harald Ganzinger, Konstantin Korovin ISBN 9783540301240
Unsound Theorem Proving 1st Edition by Christopher Lynch ISBN 9783540301240
Username or email address *Required
Password *Required
Remember me Log in
Lost your password?
