The theory foundation of machanical the- orem proving is the Herbrand theorem,refutation and a conjunctive normal form theorem.是什么意思_The theory foundation of machanical the- orem proving is the Herbrand theorem,refutation and a conjunctive normal form theorem.在线翻译_英语_读音_用法_例句