计算机科学逻辑基础专题讨论会
LFCS 2022：美国佛罗里达州迪尔菲尔德海滩
谢尔盖·N·阿特莫夫 
, 阿尼尔·内罗德 :
计算机科学的逻辑基础-国际研讨会，LFCS 2022，美国佛罗里达州迪尔菲尔德海滩，2022年1月10日至13日，会议记录。 计算机科学课堂讲稿 13137, 施普林格 2022 ，国际标准图书编号 978-3-030-93099-8 [目录]
LFCS 2020：美国佛罗里达州迪尔菲尔德海滩
谢尔盖·N·阿特莫夫 , 阿尼尔·内罗德 :
计算机科学的逻辑基础-国际研讨会，LFCS 2020，美国佛罗里达州迪尔菲尔德海滩，2020年1月4日至7日，会议记录。 计算机科学课堂讲稿 11972, 施普林格 2020 ，国际标准图书编号 978-3-030-36754-1 [目录]
2018年LFCS：美国佛罗里达州迪尔菲尔德海滩
谢尔盖·N·阿特莫夫 , 阿尼尔·内罗德 :
计算机科学的逻辑基础-国际研讨会，2018年LFCS，美国佛罗里达州迪尔菲尔德海滩，2018年1月8日至11日，会议记录。 计算机科学课堂讲稿 10703, 施普林格 2018 ，国际标准图书编号 978-3-319-72055-5 [目录]
2016年LFCS：美国佛罗里达州迪尔菲尔德海滩
谢尔盖·N·阿特莫夫 , 阿尼尔·内罗德 :
2016年1月4日至7日，美国佛罗里达州迪尔菲尔德海滩，2016年LFCS，计算机科学逻辑基础国际研讨会。 诉讼程序。 计算机科学课堂讲稿 9537, 施普林格 2016 ，国际标准图书编号 978-3-319-27682-3 [目录]
LFCS 2013：美国加利福尼亚州圣地亚哥
谢尔盖·N·阿特莫夫 , 阿尼尔·内罗德 :
2013年1月6日至8日，美国加利福尼亚州圣地亚哥，2013年LFCS国际研讨会，计算机科学逻辑基础。 诉讼程序。 计算机科学课堂讲稿 7734, 施普林格 2013 ，国际标准图书编号 978-3-642-35721-3 [目录]
LFCS 2009：美国佛罗里达州迪尔菲尔德海滩
谢尔盖·N·阿特莫夫 , 阿尼尔·内罗德 :
计算机科学逻辑基础，国际研讨会，2009年LFCS，美国佛罗里达州迪尔菲尔德海滩，2009年1月3日至6日。 诉讼程序。 计算机科学课堂讲稿 5407, 施普林格 2009 ，国际标准图书编号 978-3-540-92686-3 [目录]
LFCS 2007：美国纽约州纽约市
谢尔盖·N·阿特莫夫 , 阿尼尔·内罗德 :
计算机科学的逻辑基础，国际研讨会，2007年LFCS，美国纽约州纽约市，2007年6月4-7日，会议记录。 计算机科学课堂讲稿 4514, 施普林格 2007 ，国际标准图书编号 978-3-540-72732-3 [目录]
1997年第四届LFCS：俄罗斯雅罗斯拉夫尔
谢尔盖·伊迪安 , 阿尼尔·内罗德 :
计算机科学的逻辑基础，第四届国际研讨会，LFCS’97，俄罗斯雅罗斯拉夫尔，1997年7月6日至12日，会议记录。 计算机科学课堂讲稿 1234, 施普林格 1997 ，国际标准图书编号 3-540-63045-7 [目录]
1994年第三届LFCS：俄罗斯圣彼得堡
阿尼尔·内罗德 , 尤里·马蒂亚塞维奇 :
《计算机科学的逻辑基础》，第三届国际研讨会，LFCS’94，俄罗斯圣彼得堡，1994年7月11日至14日，会议记录。 计算机科学课堂讲稿 813, 施普林格 1994 ，国际标准图书编号 3-540-58140-5 [目录]
1992年第2届LFCS：俄罗斯特维尔
阿尼尔·内罗德 , 迈克尔·泰兹林 :
《计算机科学的逻辑基础——1992年Tver》，第二届国际研讨会，俄罗斯Tver，1992年7月20日至24日，会议记录。 计算机科学课堂讲稿 620, 施普林格 1992 ，国际标准图书编号 3-540-55707-5 [目录]
1989年博蒂克的逻辑：佩雷斯拉夫·扎尔斯基，苏联
阿尔伯特·梅耶 , 迈克尔·泰兹林 :
1989年7月3日至8日，苏联佩雷斯拉夫·扎列斯基（Pereslav-Zalessky），《89年博蒂克的逻辑》（Botik’89）计算机科学逻辑基础研讨会，论文集。 计算机科学课堂讲稿 363, 施普林格 1989 ，国际标准图书编号 3-540-51237-3 [目录]
