Automated Deduction - CADE-16 : 16th International Conference on Automated Deduction, Trento, Italy, July 7-10, 1999, Proceedings

ISBN
9783540662228
$119.00
Format Paperback
Details
  • Active Record
  • Individual Title
  • Books
  • 1 vol.
  • 1999
  • xiv, 438
  • Yes
  • 1632
  • Print
  • QA75.5-76.95