Interactive Theorem Proving: 6th International Conference, ITP 2015, Nanjing, China, August 24-27, 2015, Proceedings
Editat de Christian Urban et al.
27 aug 2015
Paperback
Preț: 328.62 lei 410.77 lei
6-8 săpt.
-20%
Cărți de Xingyuan Zhang