×
  • Automated Reasoning with Analytic Tableaux and Related Methods: International Conference, TABLEAUX 2002 Copenhagen, Denmark, July 30 – August 1, 2002 Proceedings

    Matthias Baaz (auth.)

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