迈克尔·比森;玛丽亚·保拉(Maria Paola Bonacina);迈克尔·基扬;杰夫·萨特克利夫 拉里·沃斯:自动化推理的愿景。 (英语) 兹比尔1511.68005 J.自动化。推理 66,第4期,439-461(2022).MSC公司:68-03 01A70号 68伏15 PDF格式BibTeX公司 XML格式引用 \textit{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) 全文: 内政部
唐纳德·W·洛夫兰。 马克·斯蒂克尔:他最早的作品。 (英语) Zbl 1356.68005号 J.自动化。推理 56,第2期,99-112(2016).MSC公司:68-03 01A70号 03-03 PDF格式BibTeX公司 XML格式引用 \textit{D.W.Loveland},J.Autom(J.奥托姆)。推理56,No.2,99--112(2016;Zbl 1356.68005) 全文: 内政部
彼得·鲍姆加特纳;沃尔夫冈·比贝尔;理查德·沃尔丁格 纪念马克·斯蒂克尔。 (英语) Zbl 1337.01008号 J.自动化。推理 56,第2期,95-98(2016).MSC公司:01A70号 68-03 PDF格式BibTeX公司 XML格式引用 \textit{P.Baumgartner}等人,J.Autom。推理56,No.2,95--98(2016;Zbl 1337.01008) 全文: 内政部
特雷布利克·库珀伯格(Trybulec Kuperberg)、克里斯蒂娜(Krystyna) 安德烈·特雷布利克(Andrzej Trybulec)——纪念(1941-2013)。 (英语) Zbl 1337.01014号 J.自动化。推理 55,第3期,187-190(2015).MSC公司:01A70号 68-03 PDF格式BibTeX公司 XML格式引用 \textit{K.Trybulec Kuperberg},J.Autom。推理55,No.3,187--190(2015;Zbl 1337.01014) 全文: 内政部
理查德·博尔顿;赫德,乔;康拉德·斯林德 计算机辅助推理。迈克尔·J·C·戈登的节日庆典。 (英语) Zbl 1179.01037号 J.自动化。推理 43,第3期,237-242(2009).MSC公司:01A70号 68-02 60年第68季度 68吨15 PDF格式BibTeX公司 XML格式引用 \textit{R.Boulton}等人,J.Autom。推理43,No.3,237--242(2009;Zbl 1179.01037) 全文: 内政部
卡普尔,迪帕克 讣告:哈拉尔德·甘辛格。 (英语) Zbl 1085.01512号 J.自动化。推理 32,第4号,iii(2004).MSC公司:01A70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Kapur},J.Autom。推理32,第4号,iii(2004;Zbl 1085.01512) 全文: 内政部
Ruediger Thiele;沃斯,拉里 希尔伯特的第二十四个问题。 (英语) Zbl 1016.03061号 J.自动化。推理 29,第1期,67-89(2002).MSC公司:20层03 03B35型 03-03 01A60型 PDF格式BibTeX公司 XML格式引用 \textit{R.Thiele}和\textit{L.Wos},J.Autom。推理29,No.1,67--89(2002;Zbl 1016.03061) 全文: 内政部
海因斯,拉里 向伍迪·布莱索致敬。 (英语) Zbl 0867.01020号 J.自动化。推理 18,No.1,1-4(1997).MSC公司:01A70号 01A60型 PDF格式BibTeX公司 XML格式引用 \textit{L.Hines},J.奥托姆。推理18,No.1,1--4(1997;Zbl 0867.01020) 全文: 内政部