Automated Deduction - CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 2002 - Proceedings

ISBN
9783540439318
$139.00
Format Paperback
Details
  • Active Record
  • Individual Title
  • Books
  • 1 vol.
  • 2002
  • xii, 540
  • Yes
  • 2392
  • Print
  • QA75.5-76.95