Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings
Editat de Jim Grundy et al.
9 sep 1998
Paperback
Preț: 336.39 lei 420.48 lei
43-57 zile
-20%