Automated Deduction - CADE-19 : 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July/August 2003, Proceedings

ISBN
9783540405597
$129.00
Format Paperback
Details
  • Active Record
  • Individual Title
  • Books
  • 1 vol.
  • 2003
  • xii, 512
  • Yes
  • 2741
  • Print
  • QA75.5-76.95