×
  • Interactive Theorem Proving: Second International Conference, ITP 2011, Berg en Dal, The Netherlands, August 22-25, 2011. Proceedings

    Don Batory (auth.)

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