Theorem Proving with Analytic Tableaux and Related Methods : Proceedings of the 4th International Workshop, TABIEAU-95, Schlob Rheinfels, St. Goar, Germany, May 7-10, 1995

ISBN
9783540593386
$109.00
Format Paperback
Details
  • Active Record
  • Individual Title
  • Books
  • 1 vol.
  • 1995
  • xi, 361
  • Yes
  • 918
  • Print
  • QA75.5-76.95