%0 Conference Paper %1 conf/mkm/UrbanJ20 %A Urban, Josef %A Jakubuv, Jan %B CICM %D 2020 %E Benzmüller, Christoph %E Miller, Bruce R. %I Springer %K dblp %P 315-323 %T First Neural Conjecturing Datasets and Experiments. %U http://dblp.uni-trier.de/db/conf/mkm/cicm2020.html#UrbanJ20 %V 12236 %@ 978-3-030-53518-6

@inproceedings{conf/mkm/UrbanJ20, added-at = {2020-07-24T00:00:00.000+0200}, author = {Urban, Josef and Jakubuv, Jan}, biburl = {https://www.bibsonomy.org/bibtex/237855ab942ff1ac174663b32cc906b87/dblp}, booktitle = {CICM}, crossref = {conf/mkm/2020}, editor = {Benzmüller, Christoph and Miller, Bruce R.}, ee = {https://doi.org/10.1007/978-3-030-53518-6_24}, interhash = {f1adb5b399307e56ded880cc01f2a2de}, intrahash = {37855ab942ff1ac174663b32cc906b87}, isbn = {978-3-030-53518-6}, keywords = {dblp}, pages = {315-323}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-07-25T11:36:18.000+0200}, title = {First Neural Conjecturing Datasets and Experiments.}, url = {http://dblp.uni-trier.de/db/conf/mkm/cicm2020.html#UrbanJ20}, volume = 12236, year = 2020 }