-
-94%
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.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, Maurizio Bonuccelli, 9783540578260
