词汇	flood relief channel
释义	flood relief channel 溢流槽
随便看	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