Signup for our newsletter to get notified about sales and new products. Add any text here or remove it.
No products in the cart.
Return to shop
Showing the single result
Computers
Theory and Applications of Satisfiability Testing SAT 2020 23rd International Conference Alghero Italy July 3 10 2020 Proceedings Lecture Notes in Computer Science 12178 Luca Pulina (Editor)
Username or email address *
Password *
Remember me Log in
Lost your password?