迈克尔·比森;玛丽亚·保拉(Maria Paola Bonacina);迈克尔·基扬;杰夫·萨特克利夫 拉里·沃斯:自动化推理的愿景。 (英语) Zbl 1511.68005号 J.汽车。推理 66,第4期,439-461(2022).MSC公司:68-03 01A70型 68伏15 PDF格式BibTeX公司 XML格式引用 \文本{M.Beeson}等人,J.Autom。推理66,No.4,439--461(2022;Zbl 1511.68005) 全文: 内政部
玛丽亚·保拉(Maria Paola Bonacina)(编辑) 六十年的自动推理:纪念拉里·沃斯的论文。前言。 (英语) Zbl 1511.68010号 J.汽车。推理 66,第4期,437-438(2022年).MSC公司:68-06 01A70型 68-03 68伏15 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{M.P.Bonacina}(编辑),J.Autom。推理66,No.4,437--438(2022;Zbl 1511.68010) 全文: 内政部