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

    Otmane Aït Mohamed (auth.)

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