Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings
Editat de Jeffrey J. Joyce et al.
28 apr 1994
Paperback
Preț: 344.27 lei 430.34 lei
6-8 săpt.
-20%