Reiner Ha hnle profile picture

Reiner Ha hnle

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