PanLinx

普通话cmn-000
归结定理证明消解式定理证明
Englisheng-000resolution theorem proving

PanLex

PanLex-PanLinx