×
  • Automated Reasoning with Analytic Tableaux and Related Methods: 14th International Conference, TABLEAUX 2005, Koblenz, Germany, September 14-17, 2005. Proceedings

    Diego Calvanese (auth.)

7 - 8Hours to read