finelybook
Proof Theory and Logic Programming: Computation as Proof Search
Author(s): Dale Miller (Author)
- Publisher finelybook 出版社: Cambridge University Press
- Publication Date 出版日期: December 18, 2025
- Language 语言: English
- Print length 页数: 334 pages
- ISBN-10: 1009561294
- ISBN-13: 9781009561297
About the Author
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.
下载地址
PDF | 1 MB | 2025-12-05
