Proof Theory and Logic Programming: Computation as Proof Search
Miller, Dale: - Dale Miller is Director of Research at INRIA Saclay-Île-de-France.
La minimul din 30 de zileCel mai bun preț din fiecare magazin
| Magazin | Preț | Istoric | |
|---|---|---|---|
LB Libris ISBN 9781009561297 |
460,80 lei | la minimul propriu | Vezi în magazin |
Prețurile sunt preluate automat din feed-urile magazinelor și pot varia; prețul valabil este cel din magazin, la finalizarea comenzii. Linkurile către magazine sunt linkuri de parteneriat — nu îți schimbă prețul și nu influențează ordinea ofertelor.
Evoluția prețului
Istoricul de preț se construiește — mai avem nevoie de câteva zile de monitorizare pentru un grafic relevant.
Ce arată măsurătorile noastre
- Cel mai mic preț înregistrat de noi
- 460,80 lei
- Preț mediu în perioada monitorizată
- 460,80 lei
- Zile de când îl urmărim
- 3
- Schimbări de preț înregistrate
- 1 (1 în ultimele 30 de zile)
Toate cifrele de mai sus sunt calculate exclusiv din prețurile pe care le-am înregistrat noi, zilnic, de la magazinele monitorizate.
Graficul arată cel mai mic preț disponibil în fiecare zi, între toate magazinele monitorizate. Linia verde este minimul din ultimele 30 de zile.
Îți trimitem un e-mail când prețul scade sub 460,80 lei. Îți cerem o confirmare pe e-mail înainte de a-ți trimite orice alertă și te poți dezabona oricând.
Despre acest 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.
Descriere preluată din fișa produsului de la Libris.
Produse similare din Științe & tehnică
Vezi categoria →
