Shoppu
Shoppu asistent virtual de cumpărături
Proof Theory and Logic Programming: Computation as Proof Search - Dale Miller
Produs

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

Brand: Dale Miller · Categorie: Computers · Actualizat: 02.06.2026 03:05

518,40 lei576,00 lei

Ai ajuns la un produs concret. Îți pot spune rapid dacă merită, ce avantaje are și ce alternative similare găsești mai ușor.

Pe scurt: 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 serv…

  • Îți pot recomanda rapid produse similare sau alternative mai bune din aceeași zonă.
  • Dacă nu e exact ce cauți, putem restrânge imediat opțiunile în funcție de preț, utilizare sau stil.
  • Poți deschide oferta din magazin sau poți continua aici conversația pentru comparații și recomandări.

Detalii despre produs

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.

Produse similare pe care le poți explora

Poți scrie sau vorbi, dacă vocea este activată.