Reviews for Higher Order Logic Theorem Proving and Its Applications

The average rating for Higher Order Logic Theorem Proving and Its Applications based on 2 reviews is 3 stars.

Review # 1 was written on 2021-03-09 00:00:00 Susan Breese Promised many things but kept exactly none of them. 1.5 hours wasted, apparently.

Review # 2 was written on 2007-10-19 00:00:00 White Tower good