Theorem Proving in Higher Order Logics: 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings
Editat de Klaus Schneider et al.
28 aug 2007
Paperback
Preț: 339.99 lei 424.99 lei
6-8 săpt.
-20%