默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

EPiC计算系列（EPiC）

参观
权限控制：
导出流元数据
导出此流的记录
仅前1000次点击：
BHT键：
- 数据库/系列/史诗/索引.bht
流密钥：
- 流/系列/史诗
问别人
在中查看此流
- dblp搜索
共享书目
持久URL：
- https://dblp.org/streams/series/epic
帮助我们
- 如何更正dblp中的错误？
- 联系dblp

EasyChair计算程序（EPiC）

>主页 >系列

SPARQL查询

场馆统计

按年份列出的记录

文档访问 请注意：▪ 这方面的工作仍在进行中。▪ 出版物的开放获取信息仍然相当不完整。

频繁作者

场馆信息

发行编号： 2398-7340（在线）
访问：部分或全部出版物公开可用

100
- 看法
- 出口记录
  dblp键：
  - conf/lpar/2024
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/2024
尼古拉·比约纳,Marijn鞋跟,安德烈·沃伦科夫:
LPAR 2024:2024年5月26日至31日，毛里求斯路易港，第25届程序设计、人工智能和推理逻辑会议记录。 EPiC计算系列100,轻松头发 2024 [目录]
96
- 看法
- 出口记录
  dblp键：
  - conf/arch/2023
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/arch/2023
戈兰·弗雷斯,马蒂亚斯·阿尔霍夫:
第十届连续和混合系统应用验证国际研讨会论文集（ARCH23），美国德克萨斯州圣安东尼奥，2023年5月9日。 EPiC计算系列96,轻松头发 2023 [目录]
95
- 看法
- 出口记录
  dblp键：
  - conf/eunis/2023
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/eunis/2023
Jean-François Desnos女士,马丁·洛佩斯·诺雷斯:
2023年欧洲大学信息系统大会论文集，EUNIS 2023，西班牙维戈，2023年6月14日至16日。 EPiC计算系列95,轻松头发 2023 [目录]
94
- 看法
- 出口记录
  dblp键：
  - conf/lpar/2023
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/2023
鲁齐卡·皮斯卡,安德烈·沃伦科夫:
LPAR2023：第24届编程逻辑、人工智能和推理国际会议论文集，哥伦比亚马尼萨莱斯，2023年6月4日至9日。 EPiC计算系列94,轻松头发 2023 [目录]
90
- 看法
- 出口记录
  dblp键：
  - conf/arch/2022
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/arch/2022
戈兰·弗雷斯,马蒂亚斯·阿尔霍夫,埃尔文·肖奇,杰瑞米·吉奥谢:
第九届连续和混合系统应用验证国际研讨会（ARCH22）会议记录，德国慕尼黑，2022年9月。 EPiC计算系列90,轻松头发 2022 [目录]
86
- 看法
- 出口记录
  dblp键：
  - conf/eunis/2022
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/eunis/2022
Jean-François Desnos女士,拉明·叶海普尔,雷蒙·沃格尔:
EUNIS 2022会议记录——第28届欧洲大学信息系统国际大会，德国哥廷根，2022年6月1-3日。 EPiC计算系列86,轻松头发 2022 [目录]
81
- 看法
- 出口记录
  dblp键：
  - conf/iaiaai/2021冬季
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iiaiaai/2021冬季
第十一届国际先进应用信息学大会会议记录，IAI-AAI 2021年冬季，印尼雅加达，2021年12月17-19日。 EPiC计算系列81,轻松头发 2021 [目录]
80
- 看法
- 出口记录
  dblp键：
  - 2021年会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/arch/2021
戈兰·弗雷斯,马蒂亚斯·阿尔霍夫:
第八届连续和混合系统应用验证国际研讨会（ARCH21），比利时布鲁塞尔，2021年7月9日。 EPiC计算系列80,轻松头发 2021 [目录]
78
- 看法
- 出口记录
  dblp键：
  - conf/eunis/2021
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/eunis/2021
斯皮洛斯·波利斯,让-弗朗索瓦·德斯诺斯,拉扎罗斯·梅拉科斯,雷蒙·沃格尔:
2021年欧洲大学信息系统会议记录，EUNIS 2021，虚拟事件，希腊，2021年6月9日至11日。 EPiC计算系列78,轻松头发 2021 [目录]
74
- 看法
- 出口记录
  dblp键：
  - conf/arch/2020
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/arch/2020
ARCH20。第七届连续和混合系统应用验证国际研讨会（ARCH20），德国柏林，2020年7月12日。 EPiC计算系列74,轻松头发 2020 [目录]
73
- 看法
- 出口记录
  dblp键：
  - conf/lpar/2020年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/2020
埃尔维拉·阿尔伯特,劳拉·科瓦奇:
LPAR 2020：第23届编程、人工智能和推理逻辑国际会议，西班牙阿利坎特，2020年5月22日至27日。 EPiC计算系列73,轻松头发 2020 [目录]
72
- 看法
- 出口记录
  dblp键：
  - conf/gcai/2020
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/gcai/2020
格里戈伊尔·达诺伊,彭军（Jun Pang）,杰夫·萨特克利夫:
第六届全球人工智能大会，2020年全球人工智能大会，2020年4月6日至9日，中国杭州。 EPiC计算系列72,轻松头发 2020 [目录]
69
- 看法
- 出口记录
  dblp键：
  - conf/cata/2020
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cata/2020
哥顿李尔,英金:
第35届计算机及其应用国际会议论文集，CATA 2020，美国加利福尼亚州旧金山，2020年3月23日至25日。 EPiC计算系列69,轻松头发 2020 [目录]
67
- 看法
- 出口记录
  dblp键：
  - conf/opensky/2019
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/opensky/2019
克里斯蒂娜·波普,马丁·斯特罗梅尔:
2019年11月21日至22日，瑞士苏黎世，第七届OpenSky研讨会会议记录。 EPiC计算系列67,轻松头发 2019 [目录]
65
- 看法
- 出口记录
  dblp键：
  - conf/gcai/2019
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/gcai/2019
迭戈·卡尔瓦内斯,卢卡·伊奥奇:
2019年GCAI。第五届全球人工智能会议记录，意大利博赞/博尔扎诺，2019年9月17日至19日。 EPiC计算系列65,轻松头发 2019 [目录]
62
- 看法
- 出口记录
  dblp键：
  - conf/sumo/2019年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sumo/2019
梅兰妮·韦伯,劳拉·比克·瓦尔茨,罗伯特·希尔布里奇,迈克尔·贝里希:
模拟互联城市交通，2019年5月13日至15日在德国柏林阿德勒肖夫举行的2019年SUMO用户大会。 EPiC计算系列62,轻松头发 2019 [目录]
61
- 看法
- 出口记录
  dblp键：
  - conf/cpsweek/2019arch
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cpsweek/2019arch
戈兰·弗雷斯,马蒂亚斯·阿尔霍夫:
ARCH19.第六届连续和混合系统应用验证国际研讨会，2019年CPS-IoT周的一部分，加拿大魁北克省蒙特利尔，2019月15日。 EPiC计算系列61,轻松头发 2019 [目录]
59
- 看法
- 出口记录
  dblp键：
  - conf/sat/2018pos
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/2018pos
丹尼尔·勒贝尔,马蒂·贾维萨洛:
2015年SAT语用学会议记录，美国得克萨斯州奥斯汀，2015年9月23日/2018年SAT语用学会议记录，英国牛津，2018年7月7日。 EPiC计算系列59,轻松头发 2019 [目录]
58
- 看法
- 出口记录
  dblp键：
  - conf/cata/2019
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cata/2019
哥顿李尔,英金:
第34届计算机及其应用国际会议记录，2019年3月18日至20日，美国夏威夷檀香山，CATA 2019。 EPiC计算系列58,轻松头发 2019 [目录]
57
- 看法
- 出口记录
  dblp键：
  - conf/lpar/2018年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/2018
吉尔斯·巴特,杰夫·萨特克利夫,玛格斯·维恩斯:
LPAR-22。第22届编程、人工智能和推理逻辑国际会议，埃塞俄比亚阿瓦萨，2018年11月16-21日。 EPiC计算系列57,轻松头发 2018 [目录]
56
- 看法
- 出口记录
  dblp键：
  - conf/omnet/2018
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/omnet/2018
第五届国际OMNeT++社区峰会会议记录，意大利比萨大学，2018年9月5日至7日。 EPiC计算系列56,轻松头发 2018 [目录]
55
- 看法
- 出口记录
  dblp键：
  - conf/gcai/2018
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/gcai/2018
丹尼尔·D·李,亚历山大·斯汀,托比·沃尔什:
GCAI-2018，第四届全球人工智能会议，卢森堡，2018年9月18-21日。 EPiC计算系列55,轻松头发 2018 [目录]
54
- 看法
- 出口记录
  dblp键：
  - conf/adhs/2018架构
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/adhs/2018arch
戈兰·弗雷斯,马蒂亚斯·阿尔霍夫,塞尔吉·博戈莫洛夫,泰勒·T·约翰逊:
ARCH18.第五届连续和混合系统应用验证国际研讨会，拱@ADHS2018年7月13日，英国牛津。 EPiC计算系列54,轻松头发 2018 [目录]
52
- 看法
- 出口记录
  dblp键：
  - conf/ict4s/2018
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ict4s/2018
比吉特·彭岑斯塔德勒,伊斯特布鲁克,科林·文特斯,赛义德·伊斯蒂亚克·艾哈迈德:
2018年5月14日至18日，加拿大多伦多，第五届信息和通信技术促进可持续发展国际会议，ICT4S 2018。 EPiC计算系列52,轻松头发 2018 [目录]
51
- 看法
- 出口记录
  dblp键：
  - conf/cade/2017拱廊
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/2017arcade网站
贾尔斯·雷格尔,德米特里·特拉泰尔:
2017年8月6日，瑞典哥德堡，ARCADE，第一届自动推理国际研讨会：挑战、应用、方向、示范成就。 EPiC计算系列51,轻松头发 2017 [目录]
50
- 看法
- 出口记录
  dblp键：
  - conf/gcai/2017
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/gcai/2017
克里斯托夫·本兹穆勒,克里斯汀·利塞蒂,马丁·西奥博尔德:
2017年GCAI，第三届全球人工智能会议，美国佛罗里达州迈阿密，2017年10月18-22日。 EPiC计算系列50,轻松头发 2017 [目录]
49
- 看法
- 出口记录
  dblp键：
  - conf/ches/2017证明
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ches/2017证明
乌尔里希·库恩,Jean-Luc危险,西尔万·吉利:
2017年9月29日，第六届嵌入式系统安全证明国际研讨会，台湾台北。 EPiC计算系列49,轻松头发 2017 [目录]
48
- 看法
- 出口记录
  dblp键：
  - conf/cpsweek/2017arch
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cpsweek/2017arch
戈兰·弗雷斯,马蒂亚斯·阿尔霍夫:
ARCH17.第四届连续和混合系统应用验证国际研讨会，与2017年4月17日在美国宾夕法尼亚州匹兹堡举行的网络物理系统周（CPSWeek）合办。 EPiC计算系列48,轻松头发 2017 [目录]
47
- 看法
- 出口记录
  dblp键：
  - conf/ical/2017科利
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ical/2017科利
肯·佐藤,Mi-Young Kim女士,卡诺吉野,兰迪·戈贝尔,蒂亚戈·奥利维拉:
COLIEE 2017年。第四届法律信息提取和蕴涵竞赛，与第十六届人工智能与法律国际会议（ICAIL 2017）联合在英国伦敦国王学院举行。 EPiC计算系列47,轻松头发 2017 [目录]
46
- 看法
- 出口记录
  dblp键：
  - conf/lpar/2017年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/2017
托马斯·艾特,大卫·桑德斯:
LPAR-21，第21届编程、人工智能和推理逻辑国际会议，博茨瓦纳莫恩，2017年5月7日至12日。 EPiC计算系列46,轻松头发 2017 [目录]
45
- 看法
- 出口记录
  dblp键：
  - conf/sycss/2017
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sycss/2017
穆罕默德·莫斯巴,米夏·鲁西诺维奇:
SCSS 2017，2017年4月6日至9日，第八届软件科学符号计算国际研讨会，突尼斯Gammarth。 EPiC计算系列45,轻松头发 2017 [目录]
44
- 看法
- 出口记录
  dblp键：
  - conf/cade/2016吸血鬼
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/2016吸血鬼
劳拉·科瓦奇,安德烈·沃伦科夫:
吸血鬼@IJCAR2016第三届吸血鬼研讨会会议记录，葡萄牙科英布拉，2016年7月2日。 EPiC计算系列44,轻松头发 2017 [目录]
43
- 看法
- 出口记录
  dblp键：
  - conf/cpswek/2016年3月
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cpsweek/2016arch
戈兰·弗雷斯,马蒂亚斯·阿尔霍夫:
建筑@CPSWeek2016年，第三届连续和混合系统应用验证国际研讨会，奥地利维也纳。 EPiC计算系列43,轻松头发 2017 [目录]
42
- 看法
- 出口记录
  dblp键：
  - conf/生日/2014霍华德
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/2014霍华德
安德烈·沃伦科夫,玛格丽塔·科罗维纳:
霍华德·60：霍华德·巴林格60岁生日庆典。 EPiC计算系列42,轻松头发 2014 [目录]
41
- 看法
- 出口记录
  dblp键：
  - conf/gcai/2016
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/gcai/2016
克里斯托夫·本兹穆勒,杰夫·萨特克利夫,劳尔·罗哈斯:
GCAI 2016。第二届全球人工智能会议，2016年9月19日至10月2日，德国柏林。 EPiC计算系列41,轻松头发 2016 [目录]
40
- 看法
- 出口记录
  dblp键：
  - conf/lpar/2015iwil
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/2015iwil
波利斯·寇涅夫,斯蒂芬·舒尔茨,劳伦特·西蒙:
IWIL@LPAR2015年11月23日，第十一届物流实施国际研讨会，斐济苏瓦。 EPiC计算系列40,轻松头发 2016 [目录]
39
- 看法
- 出口记录
  dblp键：
  - conf/sycss/2016年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sycss/2016
詹姆斯·达文波特,法杜阿古拉比:
第七届软件科学符号计算国际研讨会，SCSS 2016，日本东京，2016年3月28日至31日。 EPiC计算系列39,轻松头发 2016 [目录]
38
- 看法
- 出口记录
  dblp键：
  - conf/cade/2014-15吸血鬼
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/2014-15吸血鬼
劳拉·科瓦奇,安德烈·沃伦科夫:
第一届和第二届吸血鬼研讨会会议记录，吸血鬼@VSL2014年，奥地利维也纳，2014年7月23日/吸血鬼@CADE2015年8月2日，德国柏林。 EPiC计算系列38,轻松头发 2016 [目录]
37
- 看法
- 出口记录
  dblp键：
  - conf/cav/2015snr
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/2015snr
塞尔吉·博戈莫洛夫,阿什什·蒂瓦里:
第一届可达性分析符号和数值方法国际研讨会，CAV时的信噪比2015年，美国加利福尼亚州旧金山，2015年7月19日。 EPiC计算系列37,轻松头发 2015 [目录]
36
- 看法
- 出口记录
  dblp键：
  - conf/gcai/2015
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/gcai/2015
乔治·戈特洛布,杰夫·萨特克利夫,安德烈·沃伦科夫:
2015年10月16日至19日，格鲁吉亚第比利斯，全球人工智能大会。 EPiC计算系列36,轻松头发 2015 [目录]
35
- 看法
- 出口记录
  dblp键：
  - conf/lpar/2015年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/2015s
安斯加·芬克,安娜贝拉·麦克维尔,杰夫·萨特克利夫,安德烈·沃伦科夫:
2015年11月24日至28日，斐济苏瓦，LPAR 2015，第20届编程、人工智能和推理逻辑国际会议-简短演讲。 EPiC计算系列35,轻松头发 2015 [目录]
34
- 看法
- 出口记录
  dblp键：
  - conf/cpsweek/2014-15arch
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cpsweek/2014-15arch
戈兰·弗雷斯,马蒂亚斯·阿尔霍夫:
第一届和第二届连续和混合系统应用验证国际研讨会，建筑@CPSWeek2014年4月14日，德国柏林建筑@CPSWeek2015年4月13日，美国华盛顿州西雅图。 EPiC计算系列34,轻松头发 2015 [目录]
33
- 看法
- 出口记录
  dblp键：
  - conf/cade/2014arqnl
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/2014arqnl
克里斯托夫·本兹穆勒,延斯·奥顿:
量化非经典逻辑中的自动推理，ARQNL@IJCAR2014年7月23日，奥地利维也纳。 EPiC计算系列33,轻松头发 2015 [目录]
32
- 看法
- 出口记录
  dblp键：
  - conf/icalp/2015nlcs
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/icalp/2015nlcs网站
金泽真本,劳伦斯·莫斯,瓦莱丽亚·德佩瓦:
第三期自然语言与计算机科学研讨会，NLCS@ICALP/LICS 2015，日本京都，2015。 EPiC计算系列32,轻松头发 2015 [目录]
31
- 看法
- 出口记录
  dblp键：
  - conf/cade/2014paar
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/2014paar
斯蒂芬·舒尔茨,莱昂纳多·德·莫拉,波利斯·寇涅夫:
第四届自动推理实践研讨会，IJCAR的PAAR2014年，奥地利维也纳，2014年。 EPiC计算系列31,轻松头发 2015 [目录]
30
- 看法
- 出口记录
  dblp键：
  - conf/sycss/2014
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sycss/2014
Temur Kutsia公司,安德烈·沃伦科夫:
第六届软件科学符号计算国际研讨会，SCSS 2014，Gammarth，La Marsa，突尼斯，2014年12月7日至8日。 EPiC计算系列30,轻松头发 2014 [目录]
29
- 看法
- 出口记录
  dblp键：
  - conf/sat/2013pos
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/2013pos
丹尼尔·勒贝尔:
图13。2013年7月7日，芬兰赫尔辛基，第四届SAT语用研讨会，2013年SAT会议研讨会。 EPiC计算系列29,轻松头发 2014 [目录]
28
- 看法
- 出口记录
  dblp键：
  - conf/cav/2014vpt
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/2014vpt
阿列克谢·利西萨,安德烈·内梅蒂克:
2014年VPT。2014年7月17日至18日，第二届验证和程序转换国际研讨会，奥地利维也纳。该研讨会是2014年维也纳逻辑夏季的活动，与2014年第26届计算机辅助验证CAV国际会议合办。 EPiC计算系列28,轻松头发 2014 [目录]
27
- 看法
- 出口记录
  dblp键：
  - conf/sat/2014位置
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/2014pos
丹尼尔·勒贝尔:
位置-14。2014年7月13日，奥地利维也纳，第五届SAT语用研讨会，2014年SAT会议的一个研讨会，是FLoC 2014在维也纳逻辑夏令营的一部分。 EPiC计算系列27,轻松头发 2014 [目录]
26
- 看法
- 出口记录
  dblp键：
  - conf/lpar/2013年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/2013s
肯尼思·麦克米兰,阿尔特·米德尔多普,杰夫·萨特克利夫,安德烈·沃伦科夫:
2013年LPAR，第19届编程、人工智能和推理逻辑国际会议，2013年12月12-17日，南非Stellenbosch，短篇论文集。 EPiC计算系列26,轻松头发 2014 [目录]
25
- 看法
- 出口记录
  dblp键：
  - conf/tacl/2013年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/tacl/2013
尼古拉斯·加拉托斯,亚历山大·库兹,君士坦丁·齐纳基斯:
TACL 2013年。2013年7月28日至8月1日，美国田纳西州纳什维尔范德比尔特大学，第六届拓扑、代数和逻辑范畴国际会议。 EPiC计算系列25,轻松头发 2014 [目录]
24
- 看法
- 出口记录
  dblp键：
  - conf/cade/2012unif公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/2012unif
圣地亚哥·埃斯科瓦尔,康斯坦丁柯罗文,弗拉基米尔·里巴科夫:
联合国国际单项体育联合会（UNIF）2012年沃斯科后会议记录。第26届国际统一研讨会，英国曼彻斯特，2012年7月1日。 EPiC计算系列24,轻松头发 2014 [目录]
23
- 看法
- 出口记录
  dblp键：
  - conf/ershov/2014p
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/ershov/2014p
伊琳娜B.维氏夕卡岩,安德烈·沃伦科夫:
PSI 2014。埃尔肖夫信息学会议，2014年6月24日至27日，彼得霍夫，俄罗斯圣彼得堡，海报展示。 EPiC计算系列23,轻松头发 2014 [目录]
22
- 看法
- 出口记录
  dblp键：
  - conf/lpar/2012iwil
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/2012iwil
康斯坦丁柯罗文,斯蒂芬·舒尔茨,尤金妮娅·特诺夫斯卡:
IWIL 2012：第九届物流实施国际研讨会，委内瑞拉梅里达，2012年3月10日。 EPiC计算系列22,轻松头发 2013 [目录]
21
- 看法
- 出口记录
  dblp键：
  - conf/cade/2012paar
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/2012paar
帕斯卡·方丹,雷娜特·施密特,斯蒂芬·舒尔茨:
2012年6月30日至7月1日，英国曼彻斯特，PAAR-2012，第三次自动推理实践研讨会。 EPiC计算系列21,轻松头发 2013 [目录]
20
- 看法
- 出口记录
  dblp键：
  - conf/cade/2012smt公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/2012smt
帕斯卡·方丹,阿米特·戈尔:
第十届满意模理论国际研讨会，2012年6月30日至7月1日，英国曼彻斯特SMT。 EPiC计算系列20,轻松头发 2013 [目录]
19
- 看法
- 出口记录
  dblp键：
  - conf/rta/2013unif
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/rta/2013unif
康斯坦丁柯罗文,芭芭拉·莫劳斯卡:
2013年6月26日，荷兰埃因霍温，第27届国际统一研讨会，2013年联合国国际单项体育联合会。 EPiC计算系列19,轻松头发 2013 [目录]
18
- 看法
- 出口记录
  dblp键：
  - conf/wwv/2010
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/wwv/2010
劳拉·科瓦奇,Temur Kutsia公司:
2010年7月30日至31日，奥地利维也纳，第六届Web系统自动规范和验证国际研讨会，WWV 2010。 EPiC计算系列18,轻松头发 2013 [目录]
17
- 看法
- 出口记录
  dblp键：
  - conf/cade/2012atx公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/2012atx
雅克·弗莱里奥特,彼得·赫夫纳,安娜贝拉·麦克维尔,阿兰·斯梅尔:
ATx’12/WInG’12：自动化理论探索和不变生成研讨会联合会议记录，英国曼彻斯特，2012年6月。 EPiC计算系列17,轻松头发 2013 [目录]
16
- 看法
- 出口记录
  dblp键：
  - conf/cav/2013vpt
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cav/2013vpt
阿列克谢·利西萨,安德烈·内梅蒂克:
2013年7月12日至13日，俄罗斯圣彼得堡，2013年VPT，第一届验证和项目转换国际研讨会。 EPiC计算系列16,轻松头发 2013 [目录]
15
- 看法
- 出口记录
  dblp键：
  - conf/sycss/2013
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sycss/2013
劳拉·科瓦奇,Temur Kutsia公司:
第五届软件科学符号计算国际研讨会，SCSS 2013，奥地利哈根堡城堡。 EPiC计算系列15,轻松头发 2013 [目录]
14
- 看法
- 出口记录
  dblp键：
  - conf/cade/2013pxtp
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/2013pxtp
贾斯敏·克里斯蒂安·布兰切特,约瑟夫·乌尔班:
2013年6月9日至10日在美国纽约州普莱西德湖举行的第三届定理证明交换国际研讨会，PxTP 2013。 EPiC计算系列14,轻松头发 2013 [目录]
13
- 看法
- 出口记录
  dblp键：
  - conf/lpar/2010年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/2010ys
安德烈·沃伦科夫,杰夫·萨特克利夫,马提亚斯·巴兹,克里斯蒂安·弗缪勒（Christian G.Fermüller）:
2010年10月10日至15日，印尼日惹，LPAR-17-Short，第17届编程、人工智能和推理逻辑国际会议的短文。 EPiC计算系列13,轻松头发 2013 [目录]
12
- 看法
- 出口记录
  dblp键：
  - conf/lics/2010pspl
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/2010pspl
亚历克斯·辛普森:
2010年7月10日在英国苏格兰爱丁堡举行的程序逻辑证明系统国际研讨会，PSPL 2010。 EPiC计算系列12,轻松头发 2013 [目录]
11
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/2012casc
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/2012casc
杰夫·萨特克利夫:
2012年6月28日，第六届IJCAR ATP系统竞赛，CASC-J6，英国曼彻斯特。 EPiC计算系列11,轻松头发 2012
10
- 看法
- 出口记录
  dblp键：
  - conf/生日/2012turing
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/birthday/2012图灵
安德烈·沃伦科夫:
图灵-100——阿兰·图灵百年诞辰，英国曼彻斯特，2012年6月22日至25日。 EPiC计算系列10,轻松头发 2012 [目录]
9
- 看法
- 出口记录
  dblp键：
  - conf/cade/2010paar
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/2010paar
雷娜特·施密特,斯蒂芬·舒尔茨,波利斯·寇涅夫:
2010年7月14日，英国苏格兰爱丁堡，PAAR-2010，第二届自动推理实践方面研讨会论文集。 EPiC计算系列9,轻松头发 2012 [目录]
8
- 看法
- 出口记录
  dblp键：
  - conf/sat/2010pos会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/sat/2010pos
丹尼尔·勒贝尔:
POS-10。SAT语用学，英国爱丁堡，2010年7月10日。 EPiC计算系列8,轻松头发 2012 [目录]
7
- 看法
- 出口记录
  dblp键：
  - conf/lics/2010lam
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lics/2010lam
伯恩特·米勒:
2010年7月14日，英国爱丁堡，第三届物流、代理和移动国际研讨会，LAM'10。 EPiC计算系列7,轻松头发 2012 [目录]
6
- 看法
- 出口记录
  dblp键：
  - conf/cade/2010平方米
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/2010emsqms网站
亚伦·斯塔姆,杰夫·萨特克利夫,塞萨尔·蒂内利:
2010年7月20日在英国爱丁堡举行的EMSQMS 2010解决方案评估方法和质量指标研讨会。 EPiC计算系列6,轻松头发 2012 [目录]
5
- 看法
- 出口记录
  dblp键：
  - conf/itp/2010标准
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/itp/2010par
叶卡捷琳娜·科门丹茨卡娅,安娜·波夫,米拉德·尼基:
交互式定理证明程序中的偏爱和递归，ITP的PAR2010年7月15日，英国爱丁堡。 EPiC系列5,轻松头发 2012 [目录]
4
- 看法
- 出口记录
  dblp键：
  - conf/iclp/2010wcb
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/iclp/2010wcb网站
阿戈斯蒂诺·多维尔,亚历山德罗·达尔·帕洛,塞巴斯蒂安·威尔:
基于约束的生物信息学方法研讨会，WCB10，英国爱丁堡，2010年7月21日。 EPiC计算系列4,轻松头发 2012 [目录]
三
- 看法
- 出口记录
  dblp键：
  - conf/cade/2010验证
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/2010verify网站
马库斯·阿德霍尔德,谢尔盖·奥特谢尔,海科·曼特尔:
2010年7月20日至21日，英国爱丁堡，第六届国际验证研讨会，VERIFY-2010。 EPiC计算系列三，轻松头发 2012 [目录]
2
- 看法
- 出口记录
  dblp键：
  - conf/lpar/2010iwil
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/lpar/2010iwil
杰夫·萨特克利夫,斯蒂芬·舒尔茨,尤金妮娅·特诺夫斯卡:
第八届物流实施国际研讨会，IWIL 2010，日惹，印尼，2011年10月9日。 EPiC计算系列2,轻松头发 2012 [目录]
1
- 看法
- 出口记录
  dblp键：
  - conf/cade/2010翼
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/2010wing网站
安德烈·沃伦科夫,劳拉·科瓦奇,尼古拉·比约纳:
2009年3月29日在英国约克举行的第二届不变量生成国际研讨会，以及2010年7月21日在英国爱丁堡举行的第三届不变量产生国际研讨会。 EPiC计算系列1,轻松头发 2012 [目录]

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。