约阿希姆·穆德勒 面向扩展的语音识别。（Spracherkennung地区） （德语） Zbl 1062.68579号 布伦瑞克：TU，Fak。f.机械和电子技术。130秒。（1987年）。MSC公司：68吨10 68T50型 68-02 PDF格式BibTeX公司 XML格式引用 \textit{J.Mudler}，Erwartungsorienterte Spracherkenung。布伦瑞克：TU，Fak。f.Maschinenbau u.Elektrotechnik（1987；Zbl 1062.68579）
威廉·B·格瓦尔特。 聪明的阳具。介绍人工智能和机器人。（Intelligente Maschinen.Einführung in die künstliche Intelligenz und Robotik.） （德语） Zbl 0755.68010号 信息技术。Weinheim等：VCH Verlagsgesellschaft。324页（1987年）。 审核人：H.Zeitler（慕尼黑） MSC公司：68-02 68T01型 68单位99 PDF格式BibTeX公司 XML格式引用 \textit{W.B.Gevarter}，Intelligente Maschinen。Einführung在die künstliche Intelligenz und Robotik。Weinheim等：VCH Verlagsgesellschaft（1987；Zbl 0755.68010）
费尔南多·佩雷拉。；斯图亚特·希伯（Stuart M.Shieber）。 序言和自然语言分析。 （英语） Zbl 0684.68010号 CSLI课堂讲稿, 10. 斯坦福：语言与信息研究中心。viii，第266页（1987年）。MSC公司：68-02 68N99型 68T50型 68T99型 PDF格式BibTeX公司 XML格式引用 \textit｛F.C.N.Pereira｝和\textit｛S.M.Shieber｝，Prolog和自然语言分析。斯坦福：语言与信息研究中心（1987；Zbl 0684.68010）
约翰·范·本特姆 走向计算语义。 （英语） Zbl 0731.03020号 广义量词。语言和逻辑方法，Proc。研讨会，隆德/瑞典，1985年，语言学家。菲洛斯。31, 31-71 (1987). 审核人：李翔（贵阳） MSC公司：03B65号 68T50型 65年第68季度 05年3月 03C80号 03B45 PDF格式BibTeX公司 XML格式
安东尼·高尔顿 逻辑发生。 （英语） Zbl 0662.03008号 时间逻辑及其应用，169-196（1987）。 审核人：S.戈特瓦尔德 MSC公司：03B45 03B65号 68T50型 PDF格式BibTeX公司 XML格式
格雷戈斯·科赫 自动化语义组件。 （英语） Zbl 0653.68082号 信息处理。莱特。 24, 299-305 (1987).MSC公司：68N20型 第68季度55 03B65号 03B10号机组 68T50型 PDF格式BibTeX公司 XML格式引用 \textit{G.Koch}，Inf.过程。莱特。24、299--305（1987年；Zbl 0653.68082） 全文： 内政部
或łowska，埃瓦 归纳推理的语义分析。 （英语） Zbl 0651.68103号 哲学和逻辑论文，Proc。第30届会议历史。逻辑，dedic。R.Suszko，克拉科夫/波兰。1984年，Varia 235，编号1343，107-119（1987）。 审核人：L.州 MSC公司：68T99型 第68季度55 68T50型 PDF格式BibTeX公司 XML格式
约翰·麦克德莫特（编辑） IJCAI 87。1987年8月23日至28日在意大利米兰举行的第十届人工智能国际联合会议记录。第1卷、第2卷。 （英语） Zbl 0647.68004号 人工智能公司国际联合会议，发行人：加利福尼亚州洛斯阿尔托斯，94022:Morgan Kaufmann Publishers，Inc。；牛津：W.H.Freeman and Company Ltd.XX，XIII，1194页。；£55.00 (1987). 审核人：N.Curteanu公司 MSC公司：68-06 68次发射 00B25型 68T50型 68新元 PDF格式BibTeX公司 XML格式
施密特，P.H。 Eine dreivertige Logik zur Verarbeitung partieller信息。（用于部分信息处理的三值逻辑）。 （德语） Zbl 0645.03018号 福施·Informatik。恩特维克。2, 182-190 (1987). 审核人：U.Schöning大学 MSC公司：03B50号 03B35型 68T99型 68吨15 PDF格式BibTeX公司 XML格式
J·霍华德·约翰逊 单值有限转导。 （英语） Zbl 0642.68144号 自动化、语言和编程、Proc。第14国际学院，卡尔斯鲁厄/FRG 1987，Lect。票据计算。科学。267, 202-211 (1987).MSC公司：68T50型 2016年60月 16宽10 70年第68季度 68N20型 PDF格式BibTeX公司 XML格式
米歇尔·米勒；唐纳德·佩利斯 证明自我表达。 （英语） Zbl 0639.68095号 J.汽车。推理 3, 329-338 (1987).MSC公司：68吨15 03B35型 68T99型 PDF格式BibTeX公司 XML格式引用 \textit{M.Miller}和\textit{D.Perlis}，J.Autom。推理3329-338（1987年；Zbl 0639.680.95） 全文： 内政部
沃尔夫冈·斯莱比。 分段翻译系统。 （英语） Zbl 0639.68083号 计算理论与逻辑，D.Rödding Occas。第50年安尼夫。出生，莱克特。票据计算。科学。270, 382-390 (1987). 审核人：W.A.斯拉比 MSC公司：68T50型 65年第68季度 PDF格式BibTeX公司 XML格式
多米尼克·斯奈尔斯；安德烈·塞斯 从逻辑设计到逻辑编程。定理证明技术和P-函数。 （英语） Zbl 0639.68004号 计算机科学课堂讲稿, 271. 柏林等：Springer-Verlag。四、 125页。；DM 27.00（1987）。 审核人：F.范德林登 MSC公司：68-02 68T50型 68吨15 60年第68季度 68瓦30 PDF格式BibTeX公司 XML格式
莱昂纳德·博尔克（编辑） 自然语言解析系统。 （英语） Zbl 0636.68111号 符号计算：人工智能。柏林等：斯普林格-弗拉格。十八、 第367页。；DM 98.00（1987）。 审核人：S.卢锡安 MSC公司：68N20型 68-02 68T50型 68T99型 65年第68季度 68平方米 68T20型 PDF格式BibTeX公司 XML格式
本杜·博莱（编辑）；霍格，大卫（编辑）；吕克·斯蒂尔斯（编辑） 人工智能进展-II。第七届欧洲人工智能会议，ECAI-86，英国布莱顿，1986年7月20日至25日。 （英语） Zbl 0633.68077号 阿姆斯特丹等地：荷兰北部。十四、 682页。；英国国防部。200.00（1987年）。 审核人：E.梅利斯 MSC公司：68次发射 68第20页 68T50型 68-06 68单位99 00B25型 PDF格式BibTeX公司 XML格式
松本裕治 用于自然语言分析的并行解析系统。 （英语） Zbl 0626.68062号 新一代计算。 5, 63-78 (1987). 审核人：L.šerbţna \355]i MSC公司：68T50型 68N20型 PDF格式BibTeX公司 XML格式引用 \textit{Y.Matsumoto}，新一代计算。5、63-78（1987年；Zbl 0626.68062） 全文： 内政部
约格·金德曼 经验分析。解析和Wissensrepräsentation im texttheoretischen Rahmen。 （德语） Zbl 0702.68076号 Papiere zur文本语言学家59.汉堡：Buske Verlag（ISBN 3-87118-838-7）。七、 256页（1987年）。 审核人：U.哈恩 MSC公司：68N20型 68立方英尺 68-02 68T50型 68层35 68号01 03B65号 PDF格式BibTeX公司 XML格式引用 \textit{J.Kindermann}，Experten-Parsing。解析和Wissensrepräsentation im texttheoretischen Rahmen。汉堡：Buske Verlag（1987；Zbl 0702.68076）