PanLinx
普通话
cmn-000
形式方法
English
eng-000
formal approach
English
eng-000
formal method
PanLex
