Automated Deduction - CADE 26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, Proceedings

ISBN
9783319630458
$99.99
Format Paperback
Details
  • Active Record
  • Individual Title
  • 1 vol.
  • 2017
  • xi, 582
  • Yes
  • 10395
  • QA75.5-76.95