Proceedings of the 1991 International Workshop on the HOL Theorem Proving System and its Applications, August 1991, Davis, California, USAMyla Archer,Jeffrey J. Joyce,Karl N. Levitt,Phillip J. WindleyTPHOLs（1992）引用 61|浏览5暂无评分关键词theorem provingAI 理解论文溯源树样例生成溯源树，研究论文发展脉络Chat Paper正在生成论文摘要
