英语单词“theorem proving”的翻译、意思、用法、释义-英汉词典

单词	theorem proving
释义	theorem proving1.■【人工智能】定理验证，定理证明
随便看	so the story goes (或 runs) so the story runs Sothiac Sothic cycle Sothic year Sothis Sotho sotie sotol so to say so to speak so to speak (或 say) sots sottish sotto voce sou sou. souari souari nut soubise soubresaut soubrette soubriquet soucar souchong 人因病久交游绝，士到名成出处难隔叶啼莺不可听，闭门芳草空复情每听寒笳离梦断，时窥清鉴旅愁多幕府报功谁氏首，衰衣空泣道旁碑地僻人烟少，天恢景象饶村迳桑麻合，扶筇信所之垂萝纷网户，嫩柳曲缘堤诵饰江皋驾市尾人声闹，津头水气昏独望原西路，离襟倍黯然野居云栖寺四叠旧韵作客窗晚望题文伯仁金陵十八景·其二·草堂壶山四景图·其三欺诞守盟守虏好管闲事粃斁