×
  • Automated Deduction—CADE-11: 11th International Conference on Automated Deduction Saratoga Springs, NY, USA, June 15–18, 1992 Proceedings

    Larry Wos (auth.)

Click on cover to enlarge.
Buy This Book
From Amazon.
18 - 20Hours to read