PanLinx
русский
rus-000
обработка символьной информации
English
eng-000
symbolic processing
PanLex