×
  • Automated Deduction — CADE-16: 16th International Conference on Automated Deduction Trento, Italy, July 7–10, 1999 Proceedings

    Harald Ganzinger (auth.)

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