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

单词	theorem proving
释义	theorem proving1.■【人工智能】定理验证，定理证明
随便看	ill at ease illation illative illaudable Illawarra 1 Illawarra 2 Illawarra (dairy) shorthorn I'll be! I'll be a monkey's uncle! I'll be bound. I'll be damned if I… ill-behaved ill-being I'll be seeing you. I'll be seeing (或 see) you. I'll be see you. I'll be shot if… I'll bet my life. I'll be (或 I am) a monkey's uncle! I'll be(或I'm)damned if I… ill blood ill-boding ill-bred ill breeding I'll buy that. 尊前巾帽时敧仄想像切云高，晓日罗昏雾丈人丈人听我语，我语憔悴空啾嘈安得大明如火烈，坐令鼠辈消春雪其子嗣，以五色染就，不见笔迹，谓之没骨江腹远吞千壑翠，峡门高控两崖苍舒稊与吐芽，青意弗自闲耳有姻缘能听事更深何物可浇书，不用香醅用苦茗不是遗文能动我，谁令吊古便沾襟题义门胡氏华林书院雩祭礼成述事寄罗浮山道者二首感怀寄友人·其二廉州·其三逻娑卒章骛逐月落参横月胁