×
  • Automated deduction -- CADE-21: 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007 : proceedings

    Frank Pfenning

Click on cover to enlarge.
Buy This Book
From Amazon.
12 - 14Hours to read