广义公理的Q分辨率
摘要
出版物: -
arXiv电子打印 发布日期: 2016年4月 内政部: -
10.48550/arXiv.1604.05994 arXiv: -
arXiv:1604.05994 书目代码: -
2016arXiv160405994L 关键词: -
计算机科学-计算机科学中的逻辑
电子打印: (小修复)camera-ready版本+附录