编辑配置文件（在新选项卡中打开） 马修·格林斯伯格。 作者ID： 格林斯伯格.马修-l 发布日期： 马修·格林斯伯格。 已编制索引的文档： 1出版物自1995年起 合著者 1 单作者的 系列 1 自动推理杂志 领域 1 数理逻辑与基础（03-XX） 1 计算机科学（68至XX） 按年份列出的出版物