Automated Deduction - CADE-25: 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings
Editat de Amy P. Felty et al.
30 iul 2015
Paperback
Preț: 348.29 lei 435.35 lei
6-8 săpt.
-20%
Amy P. Felty