Alina Petrova. A Pipeline for Supervised Formal Definition Generation. In Steffen Hölldobler, Andrey Malikov, Christoph Wernhard, editors, Proceedings of the Young Scientists' International Workshop on Trends in Information Processing (YSIP) Co-located with the Sixth International Conference on Infocommunicational Technologies in Science, Production and Education (INFOCOM-6), Stavropol, Russian Federation, April 22-25, 2014. Volume 1145 of CEUR Workshop Proceedings, pages 41-51, CEUR-WS.org, 2014. [doi]
@inproceedings{Petrova14,
title = {A Pipeline for Supervised Formal Definition Generation},
author = {Alina Petrova},
year = {2014},
url = {http://ceur-ws.org/Vol-1145/paper5.pdf},
researchr = {https://researchr.org/publication/Petrova14},
cites = {0},
citedby = {0},
pages = {41-51},
booktitle = {Proceedings of the Young Scientists' International Workshop on Trends in Information Processing (YSIP) Co-located with the Sixth International Conference on Infocommunicational Technologies in Science, Production and Education (INFOCOM-6), Stavropol, Russian Federation, April 22-25, 2014},
editor = {Steffen Hölldobler and Andrey Malikov and Christoph Wernhard},
volume = {1145},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}