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

单词	production system for theorem proving
释义	production system for theorem proving [计] 定理证明的产生式系统
随便看	absolute cross-section absolute crystallinity absolute cumulative error absolute current balance absolute current balauce absolute current level absolute curvature absolute dalay absolute damping absolute dance absolute data absolute date absolute dating absolute datum absolute decisions absolute decree absolute deed absolute defence absolute defense absolute deflection absolute deflection of vertical absolute degree absolute delay absolute delivery absolute demand 死去原知万事空，但悲不见九州同。王师北定中原日，家祭无忘告乃翁。死去活来，痛不欲生死后方知万事休死后无仇死后是非谁管得，满村听说蔡中郎。死国，忠义之大者。死在头上不知死死在头上转死如嫉恶当为厉，生不逢时甘作殇。死娃灌米汤，没救了受累受罚受罪受聘受胎受苦受茶受虐狂受让受训