Shunsuke Nanaumi, Kazunori Wagatsuma, Yuichi Goto, Jingde Cheng. Development of a supporting tool for translation between declarative sentences and logical formulas. In International Conference on Machine Learning and Cybernetics, ICMLC 2013, Tianjin, China, July 14-17, 2013. pages 1179-1184, IEEE, 2013. [doi]
@inproceedings{NanaumiWGC13,
title = {Development of a supporting tool for translation between declarative sentences and logical formulas},
author = {Shunsuke Nanaumi and Kazunori Wagatsuma and Yuichi Goto and Jingde Cheng},
year = {2013},
doi = {10.1109/ICMLC.2013.6890769},
url = {http://dx.doi.org/10.1109/ICMLC.2013.6890769},
researchr = {https://researchr.org/publication/NanaumiWGC13},
cites = {0},
citedby = {0},
pages = {1179-1184},
booktitle = {International Conference on Machine Learning and Cybernetics, ICMLC 2013, Tianjin, China, July 14-17, 2013},
publisher = {IEEE},
}