阿貝折射計,阿貝折光儀...[繼續(xù)閱讀]

    縮位撥號代碼數字...[繼續(xù)閱讀]

    縮位撥號存儲范圍...[繼續(xù)閱讀]

    簡縮關鍵字,縮寫主題詞...[繼續(xù)閱讀]

    短縮表示法,縮寫記號...[繼續(xù)閱讀]

    用于所有系統(tǒng)的縮寫測試語言,ATLAS語言...[繼續(xù)閱讀]

    字母表自動編碼系統(tǒng)...[繼續(xù)閱讀]

    引理推論,溯因法推論...[繼續(xù)閱讀]

    誘導推理,溯因推理,反繹推理...[繼續(xù)閱讀]

    溯因更新推導和約束維護推導...[繼續(xù)閱讀]