词汇	dynamic attribute list
释义	dynamic attribute list 动态属性表
随便看	theorem-prover theoremproving theorem proving theorem-proving theorem proving by resolution theorem proving by resolution refutation theorem proving by rule based system theorem proving for robot problem solving theorem-proving for robot problem solving theoremproving machine theorem proving machine theorem-proving machine theoremproving system theorem proving system theorem-proving system theorem proving use of resolution theorem reason-ing theorems for limits theorems of differential mean-value theorem Theorems on Symmetric Function Grafts theorem specification language theorems proof methods theorems schur the ore of sulphurate the Orestes theme