英语词汇“theorem-proving system”的翻译、意思、用法、释义-英汉双解词典-注文网

单词	theorem-proving system
释义	theorem-proving system [计] 定理证明系统
随便看	pitch pitch and putt pitch dark pitch for pitch in pitch invasion pitch pine pitch-and-putt pitch-and-toss pitch-black pitch-dark pitch-pipe pitchblende pitched pitched battle pitcher pitchfork pitchout piteous pitfall pith pith helmet pithead pithy pitiable 庭草留霜池结冰，黄昏钟绝冻云凝庭菊飘黄玉露浓，冷莎偎砌隐鸣蛩。何期良夜得相逢。庭际孤松随鹤立，槛前轻浪带鸥来。庭际秋虫鸣，疏麻方寂历。庭际高梧凝宿雾，卷帘双鹊惊飞去庭院春日迟，风回翠鸾舞。谁倚玉阑干，摇动燕脂雨？庭院春阴护薄寒，山禽飞下玉阑干。胸中锦绣无人识，闲向东风自吐看。庭院深深深几许庭院深深深几许，杨柳堆烟，帘幕无重数庭院深深深几许？杨柳堆烟，帘幕无重数。ひっとうひっとうひっとう【筆答】ひっとう【筆頭】ひっとえんどらんひっとらえるひっとらえる【引っ捕らえる】ひっぱがすひっぱがす【引っ剝がす】ひっぱく