×

找到27份文件(结果1-27)

\(L \)-exp–一种用于自然语言应用程序编程的语言。 (英语) Zbl 0842.68059号

Felea,V.(编辑)等人,罗马尼亚计算机科学研讨会。1993年11月12日至13日,罗马尼亚拉什,第九届ROSYCS研讨会。诉讼程序。Iaši:“A.i.Cuza”Iañi大学计算机科学系,140-156(1993)。
MSC公司:68T50型
PDF格式BibTeX公司 XML格式引用

模态逻辑和属性值结构。 (英语) Zbl 0854.03017号

Rijke,Maarten de(编辑),《钻石与默认值》。纯内涵逻辑和应用内涵逻辑的研究。1990年9月至1991年5月在荷兰阿姆斯特丹大学举行的内涵逻辑研讨会上提交的论文。多德雷赫特:Kluwer学术出版社。合成。伦敦银行同业拆借利率。229, 19-65 (1993).
MSC公司:03B45 03B65号 68T50型
PDF格式BibTeX公司 XML格式引用

一种识别无上下文语言的(n^2)算法。 (英语。俄文原件) Zbl 0941.68608号

赛博。系统。分析。 29,第6期,922-927(1993); 翻译自Kibern。修女。分析。1993年,第6期,159-164(1993)。
PDF格式BibTeX公司 XML格式引用

自然语言处理中的可逆语法。 (英语) Zbl 0823.68088号

Kluwer国际工程与计算机科学系列. 255. 多德雷赫特:Kluwer学术出版社。xxi,454 p.Dfl 265.00;130.00美元;94.50英镑/公顷(1993年)。
MSC公司:68T50型 68-01
PDF格式BibTeX公司 XML格式引用

语法的逻辑方法:政府和约束理论的基础、规范和实现。 (英语) Zbl 0799.68154号

一本布拉德福德的书。ACL-MIT自然语言处理新闻系列。马萨诸塞州剑桥:麻省理工学院出版社。xiv,433 p.60.75/hc(1993年)。
PDF格式BibTeX公司 XML格式引用

关于关系语义的Lambek演算的强完备性。 (英语) Zbl 0793.03029号

Rauszer,Cecylia(编辑),逻辑和计算机科学中的代数方法。1991年9月15日至12月15日在波兰华沙举行的关于逻辑代数方法及其计算机科学应用的第三十八学期论文。华沙:波兰科学院数学研究所。巴纳赫美分。出版物。28, 209-217 (1993).
PDF格式BibTeX公司 XML格式引用

人工智能的前景。1993年3月29日至4月2日在英国伯明翰大学举行的AISB 93第九届两年一度的人工智能和行为模拟学会会议记录。 (英语) Zbl 0827.68089号

人工智能和应用的前沿第17条。阿姆斯特丹:IOS出版社。八、 第291页(1993年)。
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

软件