×
  • Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX’99 Saratoga Springs, NY, USA, June 7–11, 1999 Proceedings

    Randal E. Bryant

Click on cover to enlarge.
Buy This Book
From Amazon.
7 - 8Hours to read