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]
Abstract is missing.