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