Issues in Theorem Proving Based on the Connection Method - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Wolfgang Bibel, Stefan Brüning, Uwe Egly, Daniel S. Korn, Thomas Rath. Issues in Theorem Proving Based on the Connection Method. In Peter Baumgartner, Reiner Hähnle, Joachim Posegga, editors, Theorem Proving with Analytic Tableaux and Related Methods, 4th International Workshop, TABLEAUX 95, Schloß Rheinfels, St. Goar, Germany, May 7-10, 1995, Proceedings. Volume 918 of Lecture Notes in Computer Science, pages 1-16, Springer, 1995.

This author has not been identified. Look up 'Wolfgang Bibel' in GoogleThis author has not been identified. Look up 'Stefan Brüning' in GoogleThis author has not been identified. Look up 'Uwe Egly' in GoogleThis author has not been identified. Look up 'Daniel S. Korn' in GoogleThis author has not been identified. Look up 'Thomas Rath' in Google

runs on WebDSL