×
  • Automated Deduction – CADE-23: 23rd International Conference on Automated Deduction, Wrocław, Poland, July 31 - August 5, 2011. Proceedings

    Koen Claessen (auth.)

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