typed first-order logic的意思|示意
美 / /
英 / /
类型化一阶逻辑
typed first-order logic的网络常见释义
一阶 ... first-order logic 一阶逻辑 ; 一阶谓词逻辑 typed first-order logic 一阶 Monadic first-order logic 一元谓词演算 ...