说明：双击或选中下面任意单词，将显示该词的音标、读音、翻译等；选中中文或多个词，将显示翻译。
您的位置：首页 -> 词典 -> 形式化演绎规则
1)  formal regular
形式化演绎规则
2)  deductive rules
演绎规则
1.
The paper presents a deductive rules interpreter to conventional relational databases that support ANSI SQL and embedded SQL.
文章提出了一个建立在传统关系数据库基础上的能支持ANSISQL与嵌入式SQL的演绎规则解释器。
3)  Apriori ruleset
演绎规则集
4)  rule-based deduction system
规则演绎系统
例句>>
5)  deductive inference rule
演绎推理规则
6)  simplified formal deductive system L * 0
简化形式演绎系统L0*
补充资料：公理化方法(见公理化和形式化)


公理化方法(见公理化和形式化)
axiomatical method

　　gongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
　　
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条