%0 Conference Paper %1 conf/icms/LuzhnicaK16 %A Luzhnica, Enxhell %A Kohlhase, Michael %B ICMS %D 2016 %E Greuel, Gert-Martin %E Koch, Thorsten %E Paule, Peter %E Sommese, Andrew J. %I Springer %K %P 467-475 %T Formula Semantification and Automated Relation Finding in the On-Line Encyclopedia for Integer Sequences. %U http://dblp.uni-trier.de/db/conf/icms/icms2016.html#LuzhnicaK16 %V 9725 %@ 978-3-319-42431-6

@inproceedings{conf/icms/LuzhnicaK16, added-at = {2023-12-12T19:41:50.000+0100}, author = {Luzhnica, Enxhell and Kohlhase, Michael}, biburl = {https://www.bibsonomy.org/bibtex/29ea87ff28bfaca4072ed76314d447725/admin}, booktitle = {ICMS}, crossref = {conf/icms/2016}, editor = {Greuel, Gert-Martin and Koch, Thorsten and Paule, Peter and Sommese, Andrew J.}, ee = {https://www.wikidata.org/entity/Q57389298}, interhash = {24abcc49bcf36bd44c8a65abf2114957}, intrahash = {9ea87ff28bfaca4072ed76314d447725}, isbn = {978-3-319-42431-6}, keywords = {}, pages = {467-475}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T19:41:50.000+0100}, title = {Formula Semantification and Automated Relation Finding in the On-Line Encyclopedia for Integer Sequences.}, url = {http://dblp.uni-trier.de/db/conf/icms/icms2016.html#LuzhnicaK16}, volume = 9725, year = 2016 }