研究论文开放获取
Complexity of theorem-proving procedures : some general properties
Giuseppe O. Longo, Marisa Venturini Zilli
来源Revue française d automatique informatique recherche opérationnelle Informatique théorique
年份1974
阅读操作
确认中在文库中上传 PDF 后可生成中文音频讲解。
摘要与影响
摘要 · 完整
Complexity of theorem-proving procedures : some general propertiesRevue française d'automatique, informatique, recherche opérationnelle.
逐年被引趋势
110
121
22
23
关键指标
4
被引次数 · OpenAlex
0.58
领域内被引倍数
同类平均 = 1
同类平均 = 1
前 24%
引用位次
同领域 · 同年份 · 同类型
同领域 · 同年份 · 同类型
9
参考文献
Google Scholar 与 OpenAlex 的被引统计范围不同，数值存在差异属正常。
AI 辅助阅读
依据：摘要
论文问答
当前基于摘要回答
可就本文提问；依据不足时会说明。
学术脉络
学科主题
计算机 / AILogic, programming, and type systems
Complexity and Algorithms in Graphs · Computability, Logic, AI Algorithms
参考文献 9
There is no best proof procedure
被引 1Alan Bundy · ACM SIGART Bulletin · 1971
An Overview of the Theory of Computational Complexity
被引 172Juris Hartmanis, John E. Hopcroft · Journal of the ACM · 1971
Linear Resolution with Selection Function
被引 319Robert Kowalski, D. Brian Kuehner · Springer eBooks · 1983
此处列出前 3 条
引用本文 4
Theoretical Computer Science in Italy: The Early Years
被引 3Giorgio Ausiello, Giorgio Gambosi · IEEE Annals of the History of Computing · 2021
Cryptanalysis of SPEEDY
被引 2Jin-Liang Wang, Chao Niu, Qun Liu · Lecture notes in computer science · 2023
Related-Tweakey Impossible Differential Attack on Reduced-Round SKINNY-AEAD M1/M3
被引 1Yanhong Fan, Muzhou Li, Chao Niu · Lecture notes in computer science · 2022
按被引量排序，此处列出前 3 条