- Tytuł:
- Development of a flexible Mizar tokenizer and parser for information retrieval system
- Autorzy:
- Nakasho, Kazuhisa
- Data publikacji:
- 2019
- Słowa kluczowe:
-
formal languages
grammars
information retrieval
mathematics computing
program compilers
software library
języki formalne
gramatyki
wyszukiwanie informacji
obliczenia matematyczne
kompilatory programów
biblioteka oprogramowania - Pokaż więcej
- Dostawca treści:
- BazTech