英语词汇“落水狗上岸”的翻译、意思、用法、释义-英汉汉英双解词典

词汇	落水狗上岸
释义	落水狗上岸 luò shuǐ gǒu shàng ànlike a dog who fell in the river and climbs out—shaking all over
随便看	theorem prover 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