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