Automated Deduction - CADE-22 : 22nd International Conference on Automated Deduction, Montreal, Canada, August 2-7, 2009. Proceedings

ISBN
9783642029585
$119.99
Format Paperback
Details
  • Active Record
  • Individual Title
  • 1 vol.
  • 2009
  • xiv, 504
  • Yes
  • 5663
  • QA75.5-76.95