乔纳森·鲍恩。 书评:C.B.Jones(编辑)和J.Misra(编辑),编程理论。托尼·霍尔的生活和作品。 (英语) Zbl 07809174号 正式Asp。计算。 34,第3-4期,第14号论文,第3页(2022年).MSC公司:00A17年 68-06 01A70号 68-03 68号30 68问题55 68问题85 00B15号机组 PDF格式BibTeX公司 XML格式引用 \textit{J.P.Bowen},正式Asp。计算。34,第3-4号,第14号论文,第3页(2022;Zbl 07809174) 全文: 内政部
纳鸿·德肖维茨;理查德·沃尔丁格 佐哈尔·曼纳(1939-2018)。 (英语) Zbl 1427.01018号 正式Asp。计算。 31,第6号,643-660(2019).MSC公司:01A70号 68-03 PDF格式BibTeX公司 XML格式引用 \textit{N.Dershowitz}和\textit{R.Waldinger},正式Asp。计算。31,No.6,643--660(2019;Zbl 1427.01018) 全文: 内政部
Michael J.C.Gordon FRS,计算机辅助推理教授(1948年2月28日至2017年8月22日)。 (英语) Zbl 1377.01020号 正式Asp。计算。 29,第6号,933(2017).MSC公司:01A70号 68-03 PDF格式BibTeX公司 XML格式引用 正式Asp。计算。29,第6933号(2017;Zbl 1377.01020) 全文: 内政部
吉姆·伍德科克;克利夫·琼斯;约翰·库克 讣告:Amílcar Sernadas(1952–2017)。 (英语) Zbl 1358.01156号 正式Asp。计算。 29,No.2,173(2017).MSC公司:01A70号 PDF格式BibTeX公司 XML格式引用 \textit{J.Woodcock}等人,正式Asp。计算。29、第2、173号(2017;Zbl 1358.01156) 全文: 内政部
克利夫·琼斯。 纪念:Heinz Zemanek教授(1920–2014)。 (英语) Zbl 1317.01033号 正式Asp。计算。 27,第2期,237-237(2015).MSC公司:01A70号 PDF格式BibTeX公司 XML格式引用 \textit{C.B.Jones},正式Asp。计算。27,第2号,237--237(2015;Zbl 1317.01033) 全文: 内政部
路易吉亚·皮特;特劳比特琳娜;瓦尔登,玛丽娜 凯萨·塞雷:纪念。 (英语) Zbl 1342.01036号 正式Asp。计算。 26,第2期,197-201(2014).MSC公司:01A70号 68-03 PDF格式BibTeX公司 XML格式引用 \textit{L.Petre}等人,正式Asp。计算。26,第2号,197--201(2014;Zbl 1342.01036) 全文: 内政部
安德烈·塔莱基 讣闻:马雷克·图斯基(1938-2013)。 (英语) Zbl 1342.01038号 正式Asp。计算。 26,第5期,863-864(2014).MSC公司:01A70号 68-03 PDF格式BibTeX公司 XML格式引用 \textit{A.Tarlecki},正式Asp。计算。26,第5号,863--864(2014;Zbl 1342.01038) 全文: 内政部
斯蒂芬·布鲁克斯;O'Hearn,Peter W。;乌代·雷迪 雷诺兹的精髓。 (英语) Zbl 1342.01029号 正式Asp。计算。 26,第3期,435-439(2014).MSC公司:01A70号 68-03 PDF格式BibTeX公司 XML格式引用 \textit{S.Brookes}等人,正式Asp。计算。26,第3号,435--439(2014;Zbl 1342.01029) 全文: 内政部
Höfner,P。;罗布·范格拉贝克;伊恩·海耶斯 前言。 (英语) Zbl 1259.01011号 正式Asp。计算。 24,No.4-6,417-422(2012).MSC公司:01A70号 68-03 PDF格式BibTeX公司 XML格式引用 \textit{P.Höfner}等人,正式Asp。计算。24、编号4--6、417--422(2012;Zbl 1259.01011) 全文: 内政部
克利夫·琼斯。 约翰·麦卡锡(1927-2011)。 (英语) Zbl 1259.01013号 正式Asp。计算。 24,第3号,305-306(2012).MSC公司:01A70号 68-03 PDF格式BibTeX公司 XML格式引用 \textit{C.B.Jones},正式Asp。计算。24,第3号,305--306(2012;Zbl 1259.01013) 全文: 内政部
范·兰斯维德(Axel van Lamsweerde) 谦逊幽默的研究员:向米歇尔·辛佐夫致敬。 (英语) Zbl 1213.01116号 正式Asp。计算。 23,第3期,239-242(2011).MSC公司:01A70号 PDF格式BibTeX公司 XML格式引用 \textit{A.van Lamsweerde},正式Asp。计算。23,第3号,239--242(2011;Zbl 1213.01116) 全文: 内政部
大卫·哈雷 阿米尔·普努利(Amir Pnueli)——一个温柔的巨人:瓦尔斐(varphi)和普西(psi)之王。 (英语) Zbl 1210.01034号 正式Asp。计算。 22,第6期,663-665(2010).MSC公司:01A70号 68-03 PDF格式BibTeX公司 XML格式引用 \textit{D.Harel},正式Asp。计算。22,第6号,663--665(2010;Zbl 1210.01034) 全文: 内政部
戈登·普洛金;科林·斯特林;托夫特,疯子 罗宾·米尔纳:1934年1月13日至2010年3月。 (英语) Zbl 1201.01025号 正式Asp。计算。 22,第5期,485-487(2010).MSC公司:01A70号 PDF格式BibTeX公司 XML格式引用 \textit{G.Plotkin}等人,《形式Asp》。计算。22,第5号,485--487(2010;Zbl 1201.01025) 全文: 内政部
理查德·博纳特 彼得·兰丁:1930年6月5日至2009年6月3日,一位启发了一代人的计算机科学家。 (英语) Zbl 1175.01069号 正式Asp。计算。 21,第5期,393-395(2009).MSC公司:01A70号 PDF格式BibTeX公司 XML格式引用 \textit{R.Bornat},正式Asp。计算。21,第5号,393--395(2009;Zbl 1175.01069) 全文: 内政部 哈尔
比约纳,迪内斯 约翰·华纳·巴克斯:1924-1927年12月3日,2007年3月17日。 (英语) Zbl 1221.01102号 正式Asp。计算。 20,第3期,239-240(2008).MSC公司:01A70号 PDF格式BibTeX公司 XML格式引用 \textit{D.Bjørner},正式Asp。计算。20,第3号,239--240(2008;Zbl 1221.01102) 全文: 内政部
克里斯汀·尼加德 讣告:Ole-Johan Dahl。 (英语) Zbl 1039.01528号 正式Asp。计算。 14,第4期,340-341(2002).MSC公司:01A70号 PDF格式BibTeX公司 XML格式引用 \textit{K.Nygaard},正式Asp。计算。14,第4号,340--341(2002;Zbl 1039.01528) 全文: 内政部
Krzysztof R.阿普特。 Edsger Wybe Dijkstra(1930-2002):天才的画像。 (英语) Zbl 1017.01505号 正式Asp。计算。 14,第2期,92-98(2002).MSC公司:01A70号 PDF格式BibTeX公司 XML格式引用 \textit{K.R.Apt},正式Asp。计算。14,第2号,92--98(2002;Zbl 1017.01505) 全文: 内政部 arXiv公司
Edsger W.Dijkstra。 纪念:Jan L.A.van de Snepscheut。 (英语) 兹比尔0801.01019 正式Asp。计算。 6,第3期,247-249(1994).MSC公司:01A70号 01A60型 PDF格式BibTeX公司 XML格式引用 \textit{E.W.Dijkstra},正式Asp。计算。6,第3号,247--249(1994;Zbl 0801.01019) 全文: 内政部
帕特森,M.S。 讣告:David Michael Ritchie Park教授(1935-1990)。 (英语) Zbl 1477.01070号 正式Asp。计算。 2,第1号,299-300(1990).MSC公司:01A70号 PDF格式BibTeX公司 XML格式引用 \textit{M.S.Paterson},正式Asp。计算。2,第1号,299--300(1990年;Zbl 1477.01070) 全文: 内政部