No products in the cart.
Return to shop
Showing the single result
Uncategorized
Automated Deduction CADE 28 28th International Conference on Automated Deduction Virtual Event July 12 15 2021 Proceedings Lecture Notes in Computer Science 12699 by André Platzer (Editor); Geoff Sutcliffe (editor) 3030798755 9783030798758
Username or email address *
Password *
Remember me Log in
Lost your password?