Automated Deduction - CADE-21 : 21st International Conference on Automated Deduction, Bremen, Germany, July 17-20, 2007, Proceedings

ISBN
9783540735946
$119.99
Format Perfect
Details
  • 9.3" x 6.1" x 0.5"
  • Active Record
  • Individual Title
  • 1 vol.
  • 2007
  • xii, 524
  • Yes
  • 4603
  • QA75.5-76.95