搜索筛选:
搜索耗时5.1047秒,为你在为你在102,285,761篇论文里面共找到 1 篇相符的论文内容
发布年度:
[期刊论文] 作者：Banibrata Mondal,Swapan Raha,
来源：智能科学国际期刊(英文) 年份：2013
Resolution is an useful tool for mechanical theorem proving in modelling the refutation proof procedure, which is mostly used in constructing a “proof” of a...
相关搜索：
