埃德蒙·克拉克（编辑）；伊琳娜Virbitskaite（编辑）；安德烈·沃伦科夫（编辑） 系统信息学的观点。2011年6月27日至7月1日，俄罗斯新西伯利亚，第八届安德烈·埃尔肖夫国际纪念大会，PSI 2011。修订了选定的论文。 （英语） Zbl 1314.68013号 计算机科学课堂讲稿7162.柏林：施普林格出版社（ISBN 978-3-642-29708-3/pbk）。xiii，第411页。（2012年）。MSC公司：68-06 68季度xx 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{E.Clarke}（编辑）等人，《系统信息学的观点》。2011年6月27日至7月1日，俄罗斯新西伯利亚，第八届安德烈·埃尔肖夫国际纪念大会，PSI 2011。修订了选定的论文。柏林：施普林格出版社（2012；Zbl 1314.68013） 全文： 内政部
埃德蒙·克拉克（Edmund M.Clarke）。（编辑）；安德烈·沃伦科夫（编辑） 用于编程、人工智能和推理的逻辑。第16届国际会议，LPAR-16，塞内加尔达喀尔，2010年4月25日至5月1日。修订了选定的论文。 （英语） Zbl 1203.68004号 计算机科学课堂讲稿人工智能课堂讲稿。柏林：施普林格出版社（ISBN 978-3-642-17510-7/pbk）。x、 第517页。(2010).MSC公司：68-06 03-06 03B70号 68T27型 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Clarke}（编辑）和\textit{A.Voronkov}（编），编程逻辑、人工智能和推理。第16届国际会议，LPAR-16，塞内加尔达喀尔，2010年4月25日至5月1日。修订了选定的论文。柏林：施普林格出版社（2010；Zbl 1203.68004） 全文： 内政部
E.M.克拉克。（编辑）；库尔山，R.P。（编辑） 90年计算机辅助验证。第二届DIMACS研讨会论文集，1990年6月18日至21日，美国新泽西州新不伦瑞克罗格斯大学。 （英语） Zbl 0753.00020号 DIMACS系统。离散数学和理论计算机科学系列. 3. 普罗维登斯，RI：美国数学学会（AMS）。纽约州纽约市：计算机协会。十二、 第628页（1991年）。MSC公司：00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Clarke}（编辑）和\textit{R.P.Kurshan}（编），计算机辅助验证'90。第二届DIMACS研讨会论文集，1990年6月18日至21日，美国新泽西州新不伦瑞克罗格斯大学，普罗维登斯，RI:美国数学学会；纽约州纽约市：计算机协会（1991；Zbl 0753.00020）
埃德蒙·克拉克（Edmund M.Clarke）。（编辑）；罗伯特·P·库尔珊（Robert P.Kurshan）。（编辑） 计算机辅助验证。第二届国际会议，CAV’90，新泽西州新不伦瑞克，美国，1990年6月18-21日。诉讼程序。 （英语） Zbl 0756.00006号 计算机科学课堂讲稿531.柏林等：施普林格出版社（ISBN 3-540-54477-1）。十三、 第372页（1991年）。MSC公司：00B25型 68-06 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{E.M.Clarke}（编辑）和\textit{R.P.Kurshan}（编），计算机辅助验证。第二届国际会议，CAV’90，新泽西州新不伦瑞克，美国，1990年6月18-21日。诉讼程序。柏林等：Springer-Verlag（1991；Zbl 0756.00006） 全文： 内政部
埃德蒙·克拉克（编辑）；德克斯特·科赞（编辑） 程序逻辑。1983年6月6日至8日，宾夕法尼亚州匹兹堡卡内基梅隆大学研讨会。 （英语） Zbl 0533.00026号 计算机科学课堂讲稿, 164. 柏林等：Springer-Verlag。六、 527 p.57.00马克；$21.30 (1984).MSC公司：00亿Bxx 68-06 PDF格式BibTeX公司 XML格式
[克里斯托弗·弗雷泽（Christopher W.Fraser）。；罗伯特·康斯特布尔。；斯科特·约翰逊；Amelia C.方。；约翰·班宁；很好，唐纳德一。；理查德·科恩（Richard M.Cohen）。；斯坦利·李；苏珊·格哈特。；Willem P.DeRoever。；罗伯特·卡特赖特；约翰·麦卡锡；大卫·哈雷尔；沃恩·普拉特；马可·卡萨诺娃。；菲利普·伯恩斯坦。；阿霍，阿尔弗雷德五世。；杰弗里·乌尔曼。；里纳·科恩；E.哈里。；J.E.萨维奇。；Swamy，Sowmitri公司；科恩，诺曼·H。；阿德里安·克里彻；克里斯托夫·霍夫曼。；迈克尔·奥唐纳。；艾琳·格雷夫；阿尔伯特·迈耶；海鸥，W.E。；Jenkins，医学硕士。；爱德蒙·肖恩伯格；雅各布·T·施瓦茨。；米查·谢里尔；埃德蒙·克拉克（Edmund M.Clarke）。；Liu、Ken C。；亚瑟·C·弗莱克。；斯坦·安德勒；特伦斯·C·米勒。；尼尔·D·琼斯。；史蒂文·穆奇尼克。；约翰·赖夫（John H.Reif）。；帕特里克·库索特；拉迪亚·库索特；理查德·雷特曼（Richard P.Reitman）。；格雷戈里·安德鲁斯。] 1979年1月29日至31日在得克萨斯州圣安东尼奥举行的第六届年度ACM编程语言原理研讨会的会议记录。 （英语） Zbl 0473.68004号 由计算机械协会、自动机和可计算性理论特别兴趣小组、编程语言特别兴趣小组赞助。纽约：计算机协会。四、 第290页（1979年）。MSC公司：68-06 00亿Bxx PDF格式BibTeX公司 XML格式