×
  • 8th International Conference on Automated Deduction: Oxford, England, July 27–August 1, 1986 Proceedings

    Peter B. Andrews (auth.)

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