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ț: 328.63 lei 410.78 lei
6-8 săpt.
-20%
Cărți de Elsa L. Gunter