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ț: 331.55 lei 414.44 lei
43-57 zile
-20%