No products in the cart.
Return to shop
Showing all 2 results
eBook PDF
Cut Elimination in Deduction Modulo by Abstract Completion 1st Edition by Guillaume Burel, Claude Kirchner ISBN 9783540727347
LNAI 2741 Proof Search and Proof Check for Equational and Inductive Theorems 1st Edition by Eric Deplagne, Claude Kirchner, Hélène Kirchner, Quang Huy Nguyen ISBN 9783540450856
Username or email address *Required
Password *Required
Remember me Log in
Lost your password?
