×

找到6个文档(结果1-6)

MTT语义的分级性。 (英语) Zbl 07570773号

奥兹根、艾布克(编辑)等人,《语言、逻辑和计算》。第十三届第比利斯国际研讨会,2019年TbiLLC,格鲁吉亚巴统,2019月16-20日。修订了选定的论文。查姆:斯普林格。莱克特。注释计算。科学。13206:38-59(2022)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

自然语言语义的证明助手。 (英语) Zbl 1483.68456号

Amblard,Maxime(编辑)等人,《计算语言学的逻辑方面》。庆祝LACL成立20周年(1996-2016)。2016年12月5日至7日在法国南希举行的LACL 2016第九届国际会议。诉讼程序。柏林:斯普林格。莱克特。注释计算。科学。10054, 85-98 (2016).
MSC公司:68T50型 68伏15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

个性化标准、点类型和预测:现代类型理论的观点。 (英语) Zbl 1376.68139号

Kuhlmann,Marco(编辑)等人,第14次语言数学会议。会议记录,MoL 14,芝加哥,伊利诺伊州,美国,2015年7月25日至26日。宾夕法尼亚州斯特劳德斯堡:计算语言学协会(ISBN 978-1-941643-56-3)。39-50 (2015).
MSC公司:68T50型 03B65号 第68页第15页
PDF格式BibTeX公司 XML格式引用
全文: 链接

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段