typed first-order logic的意思|示意

美 / / 英 / /

类型化一阶逻辑


typed first-order logic的网络常见释义

一阶 ... first-order logic 一阶逻辑 ; 一阶谓词逻辑 typed first-order logic 一阶 Monadic first-order logic 一元谓词演算 ...