×
  • Automated deduction - CADE-17: 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 17-20, 2000 : proceedings, Volume 17, Part 2000

    David A. McAllester

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