Research是一个由研究人员为研究人员查找、收集、共享和审阅科学出版物的网站。
注册对于一个帐户，可以创建一个带有出版物列表的配置文件，标记并审阅您的相关工作，以及与您的合著者共享书目。
阿诺德·贝克曼，乌尔里希·伯杰，Benedikt Löwe公司，约翰·V·塔克，编辑，计算障碍的逻辑方法，第二届欧洲可计算性会议，2006年CiE，英国斯旺西，2006年6月30日至7月5日，会议记录。第3988卷，共页计算机科学课堂讲稿、施普林格、，2006
会议：国际原子能委员会