The average rating for Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, Hug '93, Vancouver, B.C., Canada, August 11-13, 1993 based on 1 review is 4 stars.
Review # 1 was written on February 2, 2024 Sean Ross Good book.