Kazuhisa Nakasho. Development of a Flexible Mizar Tokenizer and Parser for Information Retrieval System. In Maria Ganzha, Leszek A. Maciaszek, Marcin Paprzycki, editors, Proceedings of the 2019 Federated Conference on Computer Science and Information Systems, FedCSIS 2019, Leipzig, Germany, September 1-4, 2019. pages 77-80, 2019. [doi]
No references recorded for this publication.
No citations of this publication recorded.