词语
首页
字典
词典
笔顺
组词
造句
成语
近义
反义
词语
查询
分解方法
【分解方法】基础信息( 英文,繁体)
词语
分
解
方
法
繁体
分解方法
英文
resolution method
【分解方法】是什么意思
J. A. Robinson 于1965年提出,用于定理证明的一种方法。在此方式下,只要将需证明的定理写成合适的一阶述词演算公式,再证明公式恒真,即相当于证明定理成立。
来源:-- 资讯与通信术语辞典
网友查询
索引档案处理是什么意思
平均流是什么意思
葬字在中间组哪些词
瞌睡的意思
任重道悠的意思
嬴组词
左右开弓近义词
点金成铁反义词
不足齿及造句
摋的多音字组词
扉的笔顺
广字旁的字
相关组词
【分】组词
薄分
不安分
不十分
不分不晓
不分好歹
不分主客
层序分明
【解】组词
别解
不解
拆解
不解事
不可理解
病理解剖
不解其故
【方】组词
边方
乘方
长方
长方形
变尽方法
草头方儿
叉手不离方寸
【法】组词
兵法
步法
变法
标音法
差异法
变尽方法
薄膜剥离法
浏览历史