一个用于一阶逻辑（FOPC）自动定理证明的新算法期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

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

引用本文：	陈勇浩.一个用于一阶逻辑（FOPC）自动定理证明的新算法[J].计算机杂志,1993,21(4):11-17.

作者姓名：	陈勇浩

摘要：
关键词：	一阶逻辑自动定理算法
本文献已被维普等数据库收录！