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