阿贝折射计,阿贝折光仪...[继续阅读]

    缩位拨号代码数字...[继续阅读]

    缩位拨号存储范围...[继续阅读]

    简缩关键字,缩写主题词...[继续阅读]

    短缩表示法,缩写记号...[继续阅读]

    用于所有系统的缩写测试语言,ATLAS语言...[继续阅读]

    字母表自动编码系统...[继续阅读]

    引理推论,溯因法推论...[继续阅读]

    诱导推理,溯因推理,反绎推理...[继续阅读]

    溯因更新推导和约束维护推导...[继续阅读]