-
Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, Hug ’93, Vancouver, B.C., Canada, August 11-13, 1993. Proceedings: 6th: International Workshop, HUG ’93, Vancouver, B.C., Canada, August 11-13, 1993 – Proceedings (Lectur
0Original price was: $114.00.$7.00Current price is: $7.00.
