×
  • Automated Deduction — Cade-13: 13th International Conference on Automated Deduction New Brunswick, NJ, USA, July 30 – August 3, 1996 Proceedings

    Harald Ganzinger (auth.)

Click on cover to enlarge.
Buy This Book
From Amazon.
17 - 19Hours to read