×
  • Higher Order Logic Theorem Proving and Its Applications: 6th International Workshop, HUG '93 Vancouver, B. C., Canada, August 11–13, 1993 Proceedings

    Flemming Andersen

Click on cover to enlarge.
Buy This Book
From Amazon.
12 - 14Hours to read