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 - Computer Science
Rewriting and Typed Lambda Calculi Joint International Conference RTA TLCA 2014 Held as Part of the Vienna Summer of Logic VSL 2014 Vienna Austria July 14 17 2014 Proceedings 1st Edition Gilles Dowek (Eds.)
Username or email address *
Password *
Remember me Log in
Lost your password?