Surprise Castle
/Proof Theory and Logic Programming
Proof Theory and Logic Programming

Proof Theory and Logic Programming - Hardcover

by Dale Miller
$80.00
Quantity
01

Pay over time for orders over $35.00 with

Availability:In StockContributor:Dale MillerPublish date:12/18/2025Pages:334
Language:EnglishPublisher:Cambridge University PressISBN-13:9781009561297ISBN-10:1009561294UPC:9781009561297Book Category:ComputersBook Subcategory:LanguagesSize:9.00 x 6.00 x 0.75 inchesWeight:1.3514Product ID:SCCWQVY04D
Language:EnglishPublisher:Cambridge University PressISBN-13:9781009561297ISBN-10:1009561294UPC:9781009561297Book Category:ComputersBook Subcategory:LanguagesSize:9.00 x 6.00 x 0.75 inchesWeight:1.3514Product 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)

Dale Miller

Author

Dale Miller

Free shipping on orders over $75. Standard shipping takes 3-7 business days. Returns accepted within 30 days of purchase.

Recently Viewed

View All