×
  • Automated deduction-CADE-18: 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings

    Andreĭ Voronkov

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