期刊文献+

一个用于一阶逻辑(FOPC)自动定理证明的新算法

下载PDF
导出
作者 陈勇浩
出处 《计算机杂志》 1993年第4期11-17,共7页
  • 相关文献

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部