Automated Deduction - CADE-25 : 25th International Conference on Automated Deduction, Berlin, Germany, August 1-7, 2015, Proceedings

ISBN
9783319214009
$99.99
Format Paperback
Details
  • Active Record
  • Individual Title
  • 1 vol.
  • 2015
  • xxviii, 640
  • Yes
  • 9195
  • QA75.5-76.95