Proof Theory and Logic Programming: Computation as Proof Search - Dale Miller

Detalii:

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.

Preț:

518.40 ^RON

---

Alte detalii:

Vânzător: Libris.ro
Brand: Dale Miller