Theory and Applications of Satisfiability Testing - SAT 2017 : 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings

ISBN
9783319662626
$84.99
Format Paperback
Details
  • Active Record
  • Individual Title
  • 1 vol.
  • 2017
  • xiii, 476
  • Yes
  • 10491
  • PBKA PBF UMB GPQ
  • QA75.5-76.95