×
  • Interactive Theorem Proving: 4th International Conference, ITP 2013, Rennes, France, July 22-26, 2013. Proceedings

    Dominique Bolignano (auth.)

Click on cover to enlarge.
Buy This Book
From Amazon.
11 - 13Hours to read