0
Close menu
SmartSellTM - The New Way to sell Online
we won't be beaten by anyone
Categories
Books
Music
Movies & TV
Best Sellers
Track My Order
Sign in
Register
Wishlist
Cart
0
GBP
Sign in
Join
Browse
Wishlist
Help
All Products
Books
Computers
Movies
Music
All Products
\n
Books
Computers
Movies
Music
Computers
Warehouse Stock Clearance Sale
Grab a bargain today!
Categories
Books
Best Sellers
Coming Soon
New Releases
Books
Music
Movies & TV
Track My Order
Sign in
Register
Wishlist
0
Cart
GBP
Search
All Products
Books
Computers
Programming
Compilers
Filters
Sold By
Sold By
All Sellers
Fishpond
(3)
Country
Country
All Countries
Germany
(3)
Results for "Paul Light"
Paul Light
3 results
Filters
Sold By
Sold By
All Sellers
Fishpond
(3)
Country
Country
All Countries
Germany
(3)
3 results
Sort By
Bestselling
Relevance
Price: Lowest
Bestselling
Relevance
Price: Lowest
Sort By
View:
Safe Search(
?
):
Theorem Proving in Higher Order Logics (14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
By
Richard J. Boulton
,
Paul B. Jackson
Theorem Proving in Higher Order Logics (14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001 Proceedings (Lecture Notes in Computer Science / Lecture Notes in Artificial Intelligence))
By
Richard J. Boulton
,
Paul B. Jackson
£45.78
Practical Aspects of Declarative Languages (10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))
By
Paul Hudak
,
David S. Warren
Practical Aspects of Declarative Languages (10th International Symposium, PADL 2008, San Francisco, CA, USA, January 7-8, 2008, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering))
By
Paul Hudak
,
David S. Warren
£44.99
Practical Aspects of Declarative Languages (5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003 : Proceedings (Lecture Notes in Computer Science))
By
Veronica Dahl
,
Philip Wadler
Practical Aspects of Declarative Languages (5th International Symposium, PADL 2003, New Orleans, LA, USA, January 13-14, 2003 : Proceedings (Lecture Notes in Computer Science))
By
Veronica Dahl
,
Philip Wadler
£45.59
We use essential and some optional cookies to provide you the best shopping experience. Visit our
cookies policy page
for more information.
Accept all cookies
Accept only essential cookies