Cambridge University Press · ENSTK
Proof Theory and Logic Programming: Computation as Proof Search - Dale Miller
EAN: 9781009561297
Compară ofertele (1)
Prețurile sunt preluate automat din feed-urile magazinelor și pot diferi față de site-ul magazinului. Verifică prețul final la magazin.
Descriere Proof Theory and Logic Programming: Computation as Proof Search - Dale Miller
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.
Detalii
- Brand
- Cambridge University Press
- Categorie
- ENSTK
- EAN / GTIN
- 9781009561297
- Magazine
- 1
- Disponibilitate
- in stock
Produse similare
Cambridge University Press
Probabilistic Numerics: Computation as Machine Learning - Philipp Hennig
518,40 RON
libris.ro
Cambridge University Press
Cambridge Texts in Biomedical Engineering
518,40 RON
libris.ro
Cambridge University Press
Wilhelm II: Into the Abyss of War and Exile, 1900-1941 - John C. G. Röhl
518,40 RON
libris.ro
Cambridge University Press
The Cambridge Guide to English Usage - Pam Peters
518,40 RON
libris.ro
Cambridge University Press
Practical Techniques in Molecular Biotechnology - Bal Ram Singh
518,40 RON
libris.ro
Cambridge University Press
An Introduction to Immersed Boundary Methods - Roberto Verzicco
518,40 RON
libris.ro
Cambridge University Press
The Toda Lattice and Universality for the Computation of the Eigenvalues of a Random Matrix - Percy Deift
518,40 RON
libris.ro
Cambridge University Press
Many-Body Green's Functions for Time-Dependent Problems - Giancarlo Calvanese Strinati
518,40 RON
libris.ro