%0 Conference Paper %1 conf/frocos/KaliszykUV15 %A Kaliszyk, Cezary %A Urban, Josef %A Vyskocil, Jirí %B FroCos %D 2015 %E Lutz, Carsten %E Ranise, Silvio %I Springer %K dblp %P 341-356 %T Lemmatization for Stronger Reasoning in Large Theories. %U http://dblp.uni-trier.de/db/conf/frocos/frocos2015.html#KaliszykUV15 %V 9322 %@ 978-3-319-24245-3

@inproceedings{conf/frocos/KaliszykUV15, added-at = {2022-03-16T00:00:00.000+0100}, author = {Kaliszyk, Cezary and Urban, Josef and Vyskocil, Jirí}, biburl = {https://www.bibsonomy.org/bibtex/2479404d3c4007fe0708ca4c78f4a6e94/dblp}, booktitle = {FroCos}, crossref = {conf/frocos/2015}, editor = {Lutz, Carsten and Ranise, Silvio}, ee = {https://www.wikidata.org/entity/Q108482155}, interhash = {4299411f67b55ef5271f8f28fe8daaef}, intrahash = {479404d3c4007fe0708ca4c78f4a6e94}, isbn = {978-3-319-24245-3}, keywords = {dblp}, pages = {341-356}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T19:35:56.000+0200}, title = {Lemmatization for Stronger Reasoning in Large Theories.}, url = {http://dblp.uni-trier.de/db/conf/frocos/frocos2015.html#KaliszykUV15}, volume = 9322, year = 2015 }