单词	lava block
释义	lava block 熔岩块
随便看	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 the ore swimming in gold the ore-system theoret theoretcal fallacy