×
  • Towards mechanized mathematical assistants: 14th symposium, Calculemus 2007, 6th international conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007: proceedings

    Manuel Kauers

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