×
  • Higher Order Logic Theorem Proving and Its Applications: 7th International Workshop Valletta, Malta, September 19–22, 1994 Proceedings

    Sten Agerholm (auth.)

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