Learning Theorem Proving Components - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Karel Chvalovský, Jan Jakubuv, Miroslav Olsák, Josef Urban. Learning Theorem Proving Components. In Anupam Das 0002, Sara Negri, editors, Automated Reasoning with Analytic Tableaux and Related Methods - 30th International Conference, TABLEAUX 2021, Birmingham, UK, September 6-9, 2021, Proceedings. Volume 12842 of Lecture Notes in Computer Science, pages 266-278, Springer, 2021. [doi]

This author has not been identified. Look up 'Karel Chvalovský' in GoogleThis author has not been identified. Look up 'Jan Jakubuv' in GoogleThis author has not been identified. Look up 'Miroslav Olsák' in GoogleThis author has not been identified. Look up 'Josef Urban' in Google

runs on WebDSL