Theorem Proving in Higher Order Logics: 15th International Conference, TPHOLs 2002, Hampton, VA, USA, August 20-23, 2002. Proceedings
Editat de Victor A. Carreno et al.
7 aug 2002
Paperback
Preț: 345.36 lei 431.70 lei
6-8 săpt.
-20%