Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings
Editat de E. Thomas Schubert et al.
23 aug 1995
Paperback
Preț: 332.69 lei 415.86 lei
6-8 săpt.
-20%