未找到相关数据
A SIMPLIFIED PROOF THAT REGULAR RESOLUTION IS EXPONENTIAL
被引：4
作者：
BENARI, M
机构：
关键词：
D O I：
10.1016/S0020-0190(80)90082-4
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：96 / 98
页数：3
相关论文