Theorem Proving in Higher Order Logics: 13th International Conference, TPHOLs 2000 Portland, OR, USA, August 14-18, 2000 Proceedings
Editat de Mark Aagaard et al.
27 iul 2000
Paperback
Preț: 331.96 lei 414.95 lei
6-8 săpt.
-20%
Cărți de Mark Aagaard