×
  • Higher Order Logic Theorem Proving and Its Applications: 8th International Workshop, Aspen Grove, UT, USA, September 11 - 14, 1995. Proceedings: ... 8th

    E. Thomas Schubert

Click on cover to enlarge.
Buy This Book
From Amazon.
9 - 10Hours to read