×
  • Automated Deduction – CADE-20: 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005. Proceedings

    Gilles Dowek (auth.)

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