Theorem Proving in Higher Order Logics: 17th International Conference, TPHOLS 2004, Park City, Utah, USA, September 14-17, 2004, Proceedings
Editat de Konrad Slind et al.
sep 2004
Paperback
Preț: 335.36 lei 419.20 lei
6-8 săpt.
-20%