A Posthumous Contribution by Larry Wos: Excerpts from an Unpublished Column

JOURNAL OF AUTOMATED REASONING（2022）

引用 0|浏览14

暂无评分

摘要

Shortly before Larry Wos passed away, he sent a manuscript for discussion to Sophie Tourret, the editor of the AAR newsletter. We present excerpts from this final manuscript, put it in its historic context and explain its relevance for today’s research in automated reasoning.

查看译文

关键词

History of automated reasoning,Reasoning by instantiation,Set of support,Puzzle,First-order logic modulo arithmetic

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要