Theorem Proving in Higher Order Logics: 10th International Conference, TPHOLs'97, Murray Hill, NJ, USA, August 19-22, 1997, Proceedings
Editat de Elsa L. Gunter et al.
6 aug 1997
Paperback
Preț: 335.36 lei 419.20 lei
43-57 zile
-20%