Theorem Proving in Higher Order Logics: 14th International Conference, TPHOLs 2001, Edinburgh, Scotland, UK, September 3-6, 2001. Proceedings
Editat de Richard J. Boulton et al.
22 aug 2001
Paperback
Preț: 338.31 lei 422.88 lei
6-8 săpt.
-20%