%0 Conference Paper %1 conf/tableaux/ChvalovskyJOU21 %A Chvalovský, Karel %A Jakubuv, Jan %A Olsák, Miroslav %A Urban, Josef %B TABLEAUX %D 2021 %E Das, Anupam %E Negri, Sara %I Springer %K dblp %P 266-278 %T Learning Theorem Proving Components. %U http://dblp.uni-trier.de/db/conf/tableaux/tableaux2021.html#ChvalovskyJOU21 %V 12842 %@ 978-3-030-86059-2

@inproceedings{conf/tableaux/ChvalovskyJOU21, added-at = {2021-09-16T00:00:00.000+0200}, author = {Chvalovský, Karel and Jakubuv, Jan and Olsák, Miroslav and Urban, Josef}, biburl = {https://www.bibsonomy.org/bibtex/2a0e16c57d0e14e4cef6838844ecd8bdf/dblp}, booktitle = {TABLEAUX}, crossref = {conf/tableaux/2021}, editor = {Das, Anupam and Negri, Sara}, ee = {https://doi.org/10.1007/978-3-030-86059-2_16}, interhash = {7aed3ccfe69eaaaeb40ad06cea067911}, intrahash = {a0e16c57d0e14e4cef6838844ecd8bdf}, isbn = {978-3-030-86059-2}, keywords = {dblp}, pages = {266-278}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T19:33:38.000+0200}, title = {Learning Theorem Proving Components.}, url = {http://dblp.uni-trier.de/db/conf/tableaux/tableaux2021.html#ChvalovskyJOU21}, volume = 12842, year = 2021 }