8th International Conference on Automated Deduction : Oxford, England, July 27- August 1, 1986. Proceedings

ISBN
9783540167808
$109.00
Format Perfect
Details
  • 9.3" x 6.1" x 0.6"
  • Active Record
  • Individual Title
  • 1 vol.
  • 1986
  • xii, 716
  • Yes
  • 230
  • QA1-939