×
  • Automated Deduction — CADE-12: 12th International Conference on Automated Deduction Nancy, France, June 26 – July 1, 1994 Proceedings

    John Slaney (auth.)

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