哈努·贾科拉（编辑）;汉努·坎加萨洛（编辑）;塔大罗北桥（编辑）;马尔库斯、安德拉斯（编辑） 信息建模和知识库V：原理和形式化技术。 （英语） Zbl 0820.68012号 人工智能和应用的前沿. 19. 阿姆斯特丹：IOS出版社。500页（1994年）。 本卷的文章将在CompuScience（数据库）中单独审查。 引用于1审查 MSC公司： 68-06 与计算机科学有关的会议记录、会议、收藏等 00B15号机组 杂项特定利益物品的收集 68岁20岁 模拟（MSC2010） 关键词：信息建模;知识库 PDF格式BibTeX公司 XML格式引用 \textit{H.Jaakkola}（ed.）等人，《信息建模和知识库V：原理和形式化技术》。阿姆斯特丹：IOS出版社（1994；Zbl 0820.68012）