规则子句,用来表示推理规则,如Aa←;a←;B←b∧b∧b∧…∧bnCb∧b∧bDa←b∧b∧b∧…∧bn

  尔雅 智慧树 mooc


+
账户
更新
搜索
帮助
主页