Automated Deduction - CADE-17 : 17th International Conference on Automated Deduction, Pittsburgh, PA, USA June 2000, Proceedings

ISBN
9783540676645
$139.00
Format Paperback
Details
  • 9.3" x 6.1" x 0.5"
  • Active Record
  • Individual Title
  • Books
  • 1 vol.
  • 2000
  • xiv, 526
  • Yes
  • 1831
  • Print
  • QA75.5-76.95