Automated Reasoning with Analytic Tableaux and Related Methods : 18th International Conference, TABLEAUX 2009, Oslo, Norway, July 6-10, 2009, Proceedings

ISBN
9783642027154
$109.00
Format Paperback
Details
  • Active Record
  • Individual Title
  • 1 vol.
  • 2009
  • xii, 341
  • Yes
  • 5607
  • QA75.5-76.95