Research是一个由研究人员为研究人员查找、收集、共享和审阅科学出版物的网站。
注册对于一个帐户，可以创建一个带有出版物列表的配置文件，标记并审阅您的相关工作，以及与您的合著者共享书目。
莱因哈德·卡勒,彼得·施罗德·海斯特,罗伯特·施塔克，编辑，计算机科学中的证明理论，国际研讨会，2001年PTCS，德国达格斯图尔城堡，2001年10月7日至12日，论文集.第2183卷，共页计算机科学课堂讲稿、斯普林格、，2001.
会议：Dagstuhl2001年