自动定理证明中RUE—NRF单元输入和锁的演绎期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

按检索

自动定理证明中RUE—NRF单元输入和锁的演绎

引用本文：	刘叔华,欧阳继红.自动定理证明中RUE—NRF单元输入和锁的演绎[J].吉林大学自然科学学报,1989(2):60-66.

作者姓名：	刘叔华欧阳继红

摘要：
关键词：	自动定理证明 RUEE－NRF单元锁归结
本文献已被维普等数据库收录！