Proof Theory and Logic Programming: Computation as Proof Search
Miller, Dale: - Dale Miller is Director of Research at INRIA Saclay-Île-de-France.
A fost și mai ieftin — l-am prins la 460,80 leiCum s-a mișcat prețul
Ce am observat noi
peste minimToate cifrele de mai sus ies din ce am notat noi, în fiecare noapte. Nu le-am luat de nicăieri.
În fiecare zi luăm cel mai mic preț dintre toate magazinele și îl punem pe grafic. Linia verde e cel mai jos a coborât în ultima lună.
Lasă-ne adresa și îți scriem dacă scade sub —. Un singur e-mail, când chiar se întâmplă ceva. Îți cerem întâi o confirmare, și te poți retrage oricând dintr-un click.
Ce zice magazinul despre el
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.
Descrierea e luată de la Libris.
Produse similare din Științe & tehnică
Vezi categoria →
