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ț: 343.29 lei 429.11 lei
6-8 săpt.
-20%