?单述词演算
一元运算子 unary operator 单述词演算 unary predicate calculus 单元限制零边林美耳系统 unary restricted zerosided Lindenmayer system,U0L ..
?一元谓词演算
一元谓词演算 monadic predicate calculus; one place predicate calculus; unary predicate calculus 一阶纯谓词演算 pure predicate calculus of first order ..
英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。