Alasdair Urquhart 人物
详细信息
相关论文查看全部 (3)
Hard examples for resolution
1987Journal of the ACM引用 450
Semantics for relevant logics
1972Journal of Symbolic Logic引用 254
The Complexity of Propositional Proofs
1995Bulletin of Symbolic Logic引用 225
相关公司查看全部 (2)
Clarkson UniversityUNIVERSITY
University of TorontoUNIVERSITY
相关事件
暂无数据
相关专利
暂无数据
相关文章
暂无数据