吉姆·坎宁安(编辑) ESPRIT项目MEDLAR特刊。 (英语) Zbl 0853.0009 J.IGPL公司4,第3期,353-530(1996年)。 本卷的文章将单独进行审查。ESPRIT项目的第一卷已经过审查(见Zbl 0843.00046号). MSC公司: 00B15号机组 杂项特定利益物品的收集 03-06 与数理逻辑和基础有关的会议记录、会议、收藏等 关键词:ESPRIT公司;MEDLAR公司 引文:Zbl 0843.00046号 软件:MEDLAR公司 PDF格式BibTeX公司 XML格式