×
  • Automating reasoning in an implementation of constructive type theory

    Howe D.J.

Click on cover to enlarge.
Buy This Book
From Amazon.
6 - 7Hours to read