/
简体中文

界面语言

登录创建账号
公开概念 · 2f8dc293-8ca4-4729-9dfc-b61da8383fb0

多种类谓词演算

英语

en

many-sorted predicate calculus未评级

中文

zh

多种类谓词演算未评级
多種類謂詞演算未评级