Joachim Posegga profile picture

Joachim Posegga

Is this your author profile? Create an account to customize it!

Stand Alone

Theorem Proving with Analytic Tableaux and Related Methods 4th International Workshop, TABLEAUX-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings
Handbook of Tableau Methods
Handbook of Tableau Methods
Services and Visualization: Towards User-Friendly Design ACos'98, VISUAL'98, AIN'97, Selected Papers
Services and Visualization: Towards User-Friendly Design ACos'98, VISUAL'98, AIN'97, Selected Papers