No products in the cart.
Return to shop
Showing all 3 results
eBook PDF
Conditional and Preferential Logics Proof Methods and Theorem Proving 1st Edition by Gian Luca Pozzato ISBN 1607500957 9781607500957
LNCS 2810 Coherent Conditional Probability as a Measure of Information of the Relevant Conditioning Events 1st Edition by Giulianella Coletti, Romano Scozzafava ISBN 3540452311 9783540452317
Proving Conditional Termination 1st edition by Byron Cook, Sumit Gulwani, Tal Lev Ami, Andrey Rybalchenko, Mooly Sagiv ISBN 3540705437 9783540705437
Username or email address *Required
Password *Required
Remember me Log in
Lost your password?
