Interactive Theorem Proving: First International Conference, ITP 2010 Edinburgh, UK, July 11-14, 2010, Proceedings
Editat de Matt Kaufmann et al.
30 iun 2010
Paperback
Preț: 632.89 lei 791.11 lei
3-5 săpt.
-20%
Cărți de Matt Kaufmann