Automated Reasoning : 6th International Joint Conference, IJCAR 2012, Manchester, UK, June 26-29, 2012, Proceedings

ISBN
9783642313646
$84.99
Format Paperback
Details
  • Active Record
  • Individual Title
  • 1 vol.
  • 2012
  • xiv, 568
  • Yes
  • 7364
  • UYQ PBCD UM UYF
  • QA75.5-76.95