词汇	lady's-maid
释义	lady's-maid 'leidizmeidn.侍婢；侍女
随便看	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