[计]?证明系统
以上是基于逻辑语言中的句法(syntax)和证明系统(proof system)来讲的,但是我们还有另外一个问题:数学系统并不是纯粹句法上的,数学系统本身也是有 语义 (semantics)的。
交互式证明系统
惰性气体防爆系统
数码校对系统
英汉双解词典包含3185865条英汉词条,基本涵盖了全部常用单词的翻译及用法,是英语学习的有利工具。