Showing 1 - 1 results of 1 for search 'International Workshop on Theorem Proving with Analytic Tableaux and Related Methods (4th : 1995 : St Goar, Germany)', query time: 0.02s Refine Results
  1. 1
    Theorem proving with analytic tableaux and related methods /

    Theorem proving with analytic tableaux and related methods / by International Workshop on Theorem Proving with Analytic Tableaux and Related Methods (4th : 1995 : St Goar, Germany), Hahnle, Reiner, Posegga, Joachim, Baumgartner, Peter

    Published 1995

Search Tools: