×
  • Interactive Theorem Proving: Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings

    Lawrence C. Paulson (auth.)

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