术语索引

术语索引在计算机科学中，术语索引是一种数据结构，用于促进逻辑程序、演绎数据库或自动定理检验器中的术语和条款的快速查找。术语索引的概述自动定理证明器...