×

找到42份文件（结果1-42）

最新的 引文 关联
迪特尔·赫特；迈克尔·科尔哈斯

（lambda）-演算的彩色版本。 （英语） Zbl 1430.68412号

William McCune（编辑），《自动扣除——CADE-14》。第十四届自动扣减国际会议，澳大利亚昆士兰北部汤斯维尔。1997年7月13日至17日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1249, 291-305 (1997).
MSC公司：68伏15 03B35型 03B40型 68T50型 68V20型
PDF格式BibTeX公司 XML格式引用
\textit{D.Hutter}和\textit{M.Kohlhase}，莱克特。注释计算。科学。1249、291--305（1997年；Zbl 1430.68412）
全文： 内政部
约阿希姆·尼伦；曼弗雷德·平卡尔；彼得·鲁尔伯格

关于有限树上的等式向上约束、上下文统一和一步重写。 （英语） Zbl 1430.68137号

William McCune（编辑），《自动扣除——CADE-14》。第十四届自动扣减国际会议，澳大利亚昆士兰北部汤斯维尔。1997年7月13日至17日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1249, 34-48 (1997).
MSC公司：2012年第68季度 03B25号 68兰特 68T50型
PDF格式BibTeX公司 XML格式引用
\textit{J.Niehren}等人，Lect。注释计算。科学。1249、34-48（1997年；Zbl 1430.68137）
全文： 内政部 链接
爱德华·斯塔勒

衍生极简主义。 （英语） Zbl 1156.68439号

克里斯蒂安·雷托雷（编辑），计算语言学的逻辑方面。第一届国际会议，1996年9月23日至25日，法国南锡，LACL’96。精选论文。柏林：施普林格出版社（ISBN 3-540-63700-1）。莱克特。注释计算。科学。1328, 68-95 (1997).
MSC公司：2012年第68季度 68T50型 91层20
PDF格式BibTeX公司 XML格式引用
\textit{E.Stabler}，莱克特。注释计算。科学。1328、68-95（1997年；Zbl 1156.68439）
佐兰·普特尼克

朝向南斯拉夫拼写检查器。 （英语） Zbl 1009.68527号

Herceg，D.（编辑）等人，PRIM’96。第十一届应用数学会议记录，1996年6月3日至6日，南斯拉夫布德瓦。诺维萨德大学。科学研究所、数学研究所。331-337 (1997).
审核人：戈达纳·巴甫洛维奇-拉泽蒂奇（贝尔格莱德）
MSC公司：68单位15
PDF格式BibTeX公司 XML格式引用
\textit{Z.Putnik}，in：PRIM'96。第十一届应用数学会议记录，1996年6月3日至6日，南斯拉夫布德瓦。诺维萨德大学。科学研究所、数学研究所。。331-337（1997年；Zbl 1009.68527）
Josep M.梅伦西亚诺。；格林·莫里尔

在标记的证明网络上作为推导生成。 （英语） Zbl 0925.03141号

克里斯蒂安·雷托雷（编辑），计算语言学的逻辑方面。第一届国际会议，1996年9月23日至25日，法国南锡，LACL’96。精选论文。柏林：斯普林格。莱克特。注释计算。科学。1328, 310-328 (1997).
MSC公司：03B65号 07年3月 68T50型 03楼50
PDF格式BibTeX公司 XML格式引用
\textit{J.M.Merenciano}和\textit{G.Morrill}，莱克特。注释计算。科学。1328310--328（1997；Zbl 0925.03141）
马尔科夫斯基，M.G。；Samorodskij，S.A.公司。

使用WWW技术的专家系统：集成的可能性。 （英语。俄文原件） Zbl 0915.68158号

莫斯科。大学计算机。数学。赛博。 1997年，第2期，第61-63页（1997年）; 由Vestn翻译。莫斯科。州立大学。XV 1997，第2期，42-44（1997）。
审核人：S.G.朱拉夫列夫（莫斯科）
MSC公司：68层35 68T50型
PDF格式BibTeX公司 XML格式引用
\textit{M.G.Mal'kovskij}和\textit{S.A.Samorodskij}，莫斯克。大学计算机。数学。赛博。1997年，第2、61-63号（1997年；Zbl 0915.68158）；由Vestn翻译。莫斯科。州立大学。XV 1997，第2期，42-44（1997）
H.奈伊。；马丁，S。；韦塞尔，F。

使用leaving-one-out的统计语言建模。 （英语） Zbl 0898.68061号

Young，Steve（编辑）等人，《语言和语音处理中基于Corpus的方法》。第二届欧洲语言和言语交流暑期学校，荷兰乌得勒支，1994年夏。多德雷赫特：Kluwer学术出版社。文本-语音-语言技术。2, 174-207 (1997).
MSC公司：68T50型
PDF格式BibTeX公司 XML格式引用
\textit{H.Ney}等人，《文本语言技术》。2174-207（1997年；兹bl 0898.68061）
K.奈尔。；Young，S。

语音和语言处理中的隐马尔可夫模型。 （英语） Zbl 0898.68060号

Young，Steve（编辑）等人，《语言和语音处理中基于Corpus的方法》。第二届欧洲语言和言语交流暑期学校，荷兰乌得勒支，1994年夏。多德雷赫特：Kluwer学术出版社。文本-语音-语言技术。2, 27-68 (1997).
MSC公司：68T50型
PDF格式BibTeX公司 XML格式引用
\textit{K.Knill}和\textit{S.Young}，文本语言技术。2、27——68（1997年；Zbl 0898.68060）
H.奈伊。

语音和语言处理中基于语料库的统计方法。 （英语） Zbl 0898.68059号

Young，Steve（编辑）等人，《语言和语音处理中基于Corpus的方法》。第二届欧洲语言和言语交流暑期学校，荷兰乌得勒支，1994年夏。多德雷赫特：Kluwer学术出版社。文本-语音-语言技术。2, 1-26 (1997).
MSC公司：68T50型
PDF格式BibTeX公司 XML格式引用
\textit{H.Ney}，文本-语音-语言技术。2、1--26（1997年；Zbl 0898.68059）
斯特拉霍维奇，E.V。

解析的双组件模型及其实现。 （英语。俄文原件） Zbl 0897.68081号

J.计算。系统。科学。国际。 36，第5期，697-700（1997）; Izv的翻译。阿卡德。特奥·诺克。修女。向上。1997年，第5期，48-52（1997）。
MSC公司：68T50型 第68页第20页
PDF格式BibTeX公司 XML格式引用
\textit{E.V.Strakhovich}，J.计算。系统。科学。国际36，第5号，697--700（1997；Zbl 0897.68081）；Izv的翻译。阿卡德。特奥·诺克。修女。向上。1997年，第5号，第48-52页（1997年）
村田，牧本

通过模式和上下文条件转换文档和模式。 （英语） Zbl 0885.68145号

查尔斯·尼古拉斯（编辑）等人，《文件处理原理》。1996年9月23日，第三届国际研讨会，PODP’96，美国加利福尼亚州帕洛阿尔托。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1293, 153-169 (1997).
审核人：N.Curteanu（伊阿什）
MSC公司：68单位15 2012年第68季度 第68页第20页 68宽10 68T50型 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{M.Murata}，莱克特。注释计算。科学。1293153-169（1997；Zbl 0885.68145）
医学硕士Heather。；B.N.罗斯特。

多媒体文档中的对象意识。 （英语） Zbl 0885.68140号

查尔斯·尼古拉斯（编辑）等人，《文件处理原理》。1996年9月23日，第三届国际研讨会，PODP’96，美国加利福尼亚州帕洛阿尔托。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1293, 59-86 (1997).
审核人：N.Curteanu（伊阿什）
MSC公司：68单位15 68立方英尺 68问题65 68T50型
PDF格式BibTeX公司 XML格式引用
\textit{M.A.Heather}和\textit{B.N.Rossiter}，莱克特。注释计算。科学。1293，59-86（1997年；兹bl 0885.68140）
丽塔·德卡鲁；范德克鲁森，B。；德特雷，G。；菲利普·德沃斯；帕特里夏·梅斯弗兰克斯

自然语言界面中的模糊时间指示。 （英语） Zbl 0886.68057号

Andreasen，Troels（编辑）等人，《灵活的问答系统》。多德雷赫特：Kluwer学术出版社。163-185 (1997).
MSC公司：第68页，共15页 68T50型
PDF格式BibTeX公司 XML格式引用
\textit{R.De Caluwe}等人，in：灵活的问答系统。多德雷赫特：Kluwer学术出版社。163-185（1997；Zbl 0886.68057）
斯蒂芬·亨纳（Stephen J.Hegner）。

支持HPSG样式集合和列表构造的一系列可判定特征逻辑。 （英语） Zbl 0887.68080号

Retoré，Christian（编辑），计算语言学的逻辑方面。1996年9月23日至25日在法国南希举行的1996年LACL第一届国际会议。精选论文。柏林：斯普林格。莱克特。注释计算。科学。1328, 208-227 (1997).
MSC公司：68T50型 第68页第20页 2012年第68季度 03B65号
PDF格式BibTeX公司 XML格式引用
\textit{S.J.Hegner}，莱克特。注释计算。科学。1328208-227（1997年；Zbl 0887.68080）
帕特里克·布莱克本；马克·戴米特曼；阿兰·勒科姆；阿恩·兰塔；雷托雷，基督徒；埃里克·维尔蒙特·德拉克莱格里（Eric Villemonte de la Clergerie）

计算语言学的逻辑方面：导论。 （英语） Zbl 0885.03027号

克里斯蒂安·雷托雷（编辑），计算语言学的逻辑方面。1996年9月23日至25日在法国南希举行的1996年LACL第一届国际会议。精选论文。柏林：斯普林格。莱克特。注释计算。科学。1328, 1-20 (1997).
MSC公司：03B65号 68T50型 03-02 68-02
PDF格式BibTeX公司 XML格式引用
\textit{P.Blackburn}等人，Lect。注释计算。科学。1328，1--20（1997；Zbl 0885.03027）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前3名

主字段

软件