谢尔盖·阿特莫夫（编辑）;尼禄，阿尼尔（编辑） 计算机科学的逻辑基础。2022年1月10日至13日，美国佛罗里达州迪尔菲尔德海滩，LFCS 2022国际研讨会。诉讼程序。 （英语） Zbl 1490.03004号 计算机科学课堂讲稿13137.查姆：施普林格（ISBN 978-3-030-93099-8/pbk；978-3-0030-93100-1/电子书）。x、 第377页。(2022).MSC公司：03-06 03B70号 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{S.Artemov}（编辑）和\textit{A.Nerode}（主编），计算机科学的逻辑基础。2022年1月10日至13日，美国佛罗里达州迪尔菲尔德海滩，LFCS 2022国际研讨会。诉讼程序。查姆：施普林格（2022；Zbl 1490.03004） 全文： 内政部
谢尔盖·阿特莫夫（编辑）;尼禄，阿尼尔（编辑） 计算机科学的逻辑基础。2020年1月4日至7日，美国佛罗里达州迪尔菲尔德海滩，LFCS 2020国际研讨会。诉讼程序。 （英语） Zbl 1428.03004号 计算机科学课堂讲稿11972.查姆：施普林格（ISBN 978-3-030-36754-1/pbk；978-3-0.30-36755-8/电子书）。x、 第287页。(2020).MSC公司：03-06 03B70号 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{S.Artemov}（编辑）和\textit{A.Nerode}（主编），计算机科学的逻辑基础。2020年1月4日至7日，美国佛罗里达州迪尔菲尔德海滩，LFCS 2020国际研讨会。诉讼程序。查姆：施普林格（2020；Zbl 1428.03004） 全文： 内政部
谢尔盖·阿特莫夫（编辑）;尼禄，阿尼尔（编辑） 计算机科学的逻辑基础。2018年1月8-11日在美国佛罗里达州迪尔菲尔德海滩举行的2018年LFCS国际研讨会。诉讼程序。 （英语） Zbl 1383.03005号 计算机科学课堂讲稿10703.查姆：施普林格（ISBN 978-3-319-72055-5/pbk；978-3-3169-72056-2/电子书）。x、 第369页。(2018).MSC公司：03-06 03B70号 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{S.Artemov}（编辑）和\textit{A.Nerode}（主编），计算机科学的逻辑基础。2018年1月8日至11日在美国佛罗里达州迪尔菲尔德海滩举行的2018年LFCS国际研讨会。诉讼程序。查姆：施普林格（2018；Zbl 1383.03005） 全文： 内政部
谢尔盖·阿特莫夫（编辑）;尼禄，阿尼尔（编辑） 计算机科学的逻辑基础。2016年1月4日至7日在美国佛罗里达州迪尔菲尔德海滩举行的2016年LFCS国际研讨会。诉讼程序。 （英语） Zbl 1364.03006号 计算机科学课堂讲稿9537.查姆：施普林格（ISBN 978-3-319-27682-3/pbk；978-3-3169-27683-0/ebook）。x、 第407页。(2016).MSC公司：03-06 03B70号 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{S.Artemov}（编辑）和\textit{A.Nerode}（主编），计算机科学的逻辑基础。2016年1月4-7日，美国佛罗里达州迪尔菲尔德海滩，2016年LFCS国际研讨会。诉讼程序。查姆：斯普林格（2016；Zbl 1364.03006） 全文： 内政部
谢尔盖·阿特莫夫（编辑）;尼禄，阿尼尔（编辑） 计算机科学的逻辑基础。2013年1月6日至8日在美国加利福尼亚州圣地亚哥举行的2013年LFCS国际研讨会。诉讼程序。 （英语） Zbl 1322.03004号 计算机科学课堂讲稿7734.柏林：施普林格出版社（ISBN 978-3-642-35721-3/pbk）。x、 415页。(2013).MSC公司：03-06 03B70号 00B25型 PDF格式BibTeX公司 XML格式引用 \textit｛S.Artemov｝（编辑）和\textit｛A.Nerode｝（编辑），计算机科学的逻辑基础。2013年1月6-8日，美国加利福尼亚州圣地亚哥，2013年LFCS国际研讨会。诉讼程序。柏林：施普林格出版社（2013；Zbl 1322.03004） 全文： 内政部
谢尔盖·阿特莫夫（编辑）;尼禄，阿尼尔（编辑） 计算机科学的逻辑基础。国际研讨会，2009年LFCS，美国佛罗里达州迪尔菲尔德海滩，2009年1月3日至6日。诉讼程序。 （英语） Zbl 1156.03004号 计算机科学课堂讲稿5407.柏林：施普林格出版社（ISBN 978-3-540-92686-3/pbk）。xi，第469页。(2009).MSC公司：03-06 03B70号 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{S.Artemov}（编辑）和\textit{A.Nerode}（主编），计算机科学的逻辑基础。2009年1月3-6日，美国佛罗里达州迪尔菲尔德海滩，LFCS 2009国际研讨会。诉讼程序。柏林：施普林格出版社（2009；Zbl 1156.03004） 全文： 内政部
谢尔盖·阿特莫夫。（编辑）;尼禄，阿尼尔（编辑） 计算机科学的逻辑基础。2007年6月4日至7日在美国纽约州纽约市举行的2007年LFCS国际研讨会。诉讼程序。 （英语） 兹比尔1121.03005 计算机科学课堂讲稿4514.柏林：施普林格出版社（ISBN 978-3-540-72732-3/pbk）。xi，第513页。(2007).MSC公司：03-06 03B70号 00B25型 PDF格式BibTeX公司 XML格式引用 \textit{S.N.Artemov}（编辑）和\textit{A.Nerode}（主编），计算机科学的逻辑基础。2007年6月4-7日在美国纽约州纽约市举行的2007年LFCS国际研讨会。诉讼程序。柏林：施普林格出版社（2007；Zbl 1121.03005） 全文： 内政部
帕诺斯·安萨克利斯（编辑）;沃尔夫·科恩（编辑）;迈克尔·莱蒙（编辑）;尼禄，阿尼尔（编辑）;Shankar Sastry公司（编辑） 混合动力系统V.1997年9月11日至13日在美国印第安纳州圣母院举行的第五届国际混合动力系统研讨会。诉讼程序。 （英语） Zbl 0909.00062号 计算机科学课堂讲稿. 1567. 柏林：斯普林格。x、 第445页（1999年）。MSC公司：00B25型 93-06 PDF格式BibTeX公司 XML格式引用 \textit｛P.Antsaklis｝（编辑）等人，混合动力系统V.第五届国际混合动力系统研讨会，于1997年9月11日至13日在美国印第安纳州圣母院举行。诉讼程序。柏林：施普林格出版社（1999；Zbl 0909.00062） 全文： 内政部
尤尔根·迪克斯（编辑）;乌尔里希·富巴赫（编辑）;尼禄，阿尼尔（编辑） 逻辑编程和非单调推理。1997年7月28日至31日在德国达格斯图尔举行的第四届国际会议（LPNMR’97）的会议记录。 （英语） Zbl 0936.00041号 计算机科学课堂讲稿1265.人工智能课堂讲稿。柏林：斯普林格。x、 第453页（1997年）。MSC公司：00B25型 68-06 PDF格式BibTeX公司 XML格式引用 \textit{J.Dix}（编辑）等人，《逻辑编程和非单调推理》。1997年7月28日至31日在德国达格斯图尔举行的第四届国际会议（LPNMR’97）的会议记录。柏林：施普林格出版社（1997；Zbl 0936.00041）
阿德扬，S。（编辑）;尼禄，阿尼尔（编辑） 第四届国际研讨会，1997年7月6日至12日，俄罗斯雅罗斯拉夫尔LFCS’97。诉讼程序。 （英语） Zbl 0865.00035号 计算机科学课堂讲稿. 1234. 柏林：斯普林格。ix，431页（1997年）。MSC公司：00B25型 03-06 68-06 PDF格式BibTeX公司 XML格式引用 \textit{S.Adyan}（编辑）和\textit{A.Nerode}（主编），第四届国际研讨会，1997年7月6日至12日，俄罗斯雅罗斯拉夫尔LFCS’97。诉讼程序。柏林：施普林格出版社（1997；Zbl 0865.00035） 全文： 内政部
帕诺斯·安萨克利斯（编辑）;沃尔夫·科恩（编辑）;尼罗德，阿尼尔（编辑）;Shankar Sastry公司（编辑） 混合动力系统II。1994年10月28日至30日，美国纽约州伊萨卡市康奈尔大学数学科学研究所（MSI）第二次研讨会。诉讼程序。 （英语） Zbl 0875.00062号 计算机科学课堂讲稿999.柏林：斯普林格·弗拉格。viii，569页（1995年）。MSC公司：00B25型 68-06 2007年8月 PDF格式BibTeX公司 XML格式引用 \textit{P.Antsaklis}（编辑）等人，混合系统II。1994年10月28日至30日，美国纽约州伊萨卡市康奈尔大学数学科学研究所（MSI）第二次研讨会。诉讼程序。柏林：Springer-Verlag（1995；Zbl 0875.00062）
马雷克，V.W。（编辑）;A.内罗德。（编辑）;特鲁什琴斯基，M。（编辑） 逻辑编程和非单调推理。第三届国际会议，LPNMR’95，美国肯塔基州列克星敦，1995年6月26-28日。诉讼程序。 （英语） Zbl 0875.00116号 计算机科学课堂讲稿人工智能课堂讲稿。柏林：Springer-Verlag。viii，第415页（1995年）。MSC公司：00B25型 68-06 68N17号 68T27型 PDF格式BibTeX公司 XML格式引用 \textit{V.W.Marek}（ed.）等人，《逻辑编程和非单调推理》。第三届国际会议，LPNMR’95，美国肯塔基州列克星敦，1995年6月26日至28日。诉讼程序。柏林：Springer-Verlag（1995；Zbl 0875.00116） 全文： 内政部
A.内罗德。（编辑）;Yu Matiyasevich。五、。（编辑） LFCS’94，计算机科学逻辑基础。第三届国际研讨会，俄罗斯圣彼得堡，1994年7月11日至14日。诉讼程序。 （英语） Zbl 0865.00034号 计算机科学课堂讲稿柏林：施普林格。ix，第392页，80.00德国马克；öS 624.00；sFr 80.00/sc（1994年）。MSC公司：00B25型 03-06 68-06 PDF格式BibTeX公司 XML格式引用 \textit{A.Nerode}（编辑）和\textit{Yu.V.Matiyasevich}（主编），LFCS’94，计算机科学的逻辑基础。第三届国际研讨会，俄罗斯圣彼得堡，1994年7月11-14日。诉讼程序。柏林：施普林格（1994；Zbl 0865.00034）
罗伯特·格罗斯曼。（编辑）;尼禄，阿尼尔（编辑）;安德斯·雷文（Anders P.Ravn）。（编辑）;汉斯·里舍尔（编辑） 混合动力系统。 （英语） Zbl 0825.00044号 计算机科学课堂讲稿736.柏林：斯普林格·弗拉格。八、 474页，86.00/sc马克；öS 670.80；sFr 95.00（1993）。MSC公司：00B15号机组 68-06 PDF格式BibTeX公司 XML格式引用 \textit{R.L.Grossmann}（编辑）等人，《混合系统》。柏林：Springer-Verlag（1993；Zbl 0825.00044） 全文： 内政部
A.内罗德。（编辑）;M.泰兹林。（编辑） 计算机科学的逻辑基础。1992年7月20日至24日，俄罗斯特维尔，第二届国际研讨会。诉讼程序。 （英语） Zbl 0954.00500 计算机科学课堂讲稿. 620. 柏林：斯普林格。x、 第514页（1992年）。MSC公司：00B25型 68-06 03-06 PDF格式BibTeX公司 XML格式引用 \textit{A.Nerode}（编辑）和\textit{M.Taitslin}（主编），计算机科学的逻辑基础。1992年7月20日至24日，俄罗斯特维尔第二届国际研讨会。诉讼程序。柏林：施普林格出版社（1992；Zbl 0954.00500） 全文： 内政部