Development of a Flexible Mizar Tokenizer and Parser for Information Retrieval System.

Kazuhisa Nakasho

Browse the full FedCSIS paper archive.