×
  • Theorem Proving with Analytic Tableaux and Related Methods: 4th International Workshop, TABLEAUX '95 Schloß Reinfels, St. Goar, Germany, May 7–10, 1995 Proceedings

    W. Bibel

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