Automated Reasoning with Analytic Tableaux and Related Methods : International Conference, TABLEAUX 2003 Rome, Italy September 2003, Proceedings

ISBN
9783540407874
$89.99
Format Paperback
Details
  • Active Record
  • Individual Title
  • Books
  • 1 vol.
  • 2003
  • x, 270
  • Yes
  • 2796
  • Print
  • QA75.5-76.95