Proof Theory and Logic Programming - Hardcover
by Dale Miller
$78.99
$80.00
-1%Quantity
01
Pay over time for orders over $35.00 with
Offers & Perks
Earn 78 points with this purchase
Added to your rewards balance after checkout.
100 points welcome bonus
Create an account and start with extra points.
Languages:EnglishPublisher:Cambridge University PressISBN-13:9781009561297ISBN-10:1009561294UPC:9781009561297Book Category:ComputersBook Subcategory:LanguagesSize:9.00 x 6.00 x 0.75 inchesWeight:1.35Product ID:SCCWQVY04D
Languages:EnglishPublisher:Cambridge University PressISBN-13:9781009561297ISBN-10:1009561294UPC:9781009561297Book Category:ComputersBook Subcategory:LanguagesSize:9.00 x 6.00 x 0.75 inchesWeight:1.35Product ID:SCCWQVY04D
Miller, Dale: - Dale Miller is Director of Research at INRIA Saclay-Île-de-France. He has been a professor at the University of Pennsylvania, Pennsylvania State University, and the École Polytechnique in France. He served as Editor-in-Chief of the 'ACM Transactions on Computational Logic' and has received an ERC Advanced Investigators Grant, the LICS Test-of-Time Award (twice), and the Dov Gabbay Prize for Logic and Foundations. He is an ACM Fellow.
Publisher: Cambridge University Press
Contributor(s)
Author
Free shipping on orders over $75. Standard shipping takes 3-7 business days. Eligible items may be returned within 30 days of delivery. Conditions apply.