×

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

图形路径查询语言的基础。2021年推理网络暑期学校的课程笔记。 (英语) 兹伯利1524.68115

Šimkus,Mantas(编辑)等人,推理网络。声明式人工智能。2021年9月8日至15日,比利时鲁汶,第17所2021年国际暑期学校。辅导讲座。查姆:施普林格。莱克特。注释计算。科学。13100, 1-21 (2022).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

字符串求解上下文中的单词方程式。 (英语) Zbl 07570996号

Diekert,Volker(编辑)等人,《语言理论的发展》。第26届国际会议,DLT 2022,美国佛罗里达州坦帕,2022年5月9日至13日。诉讼程序。查姆:施普林格。莱克特。注释计算。科学。13257, 13-32 (2022).
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

同步关系的闭包属性。 (英语) Zbl 07559131号

Niedermeier,Rolf(编辑)等人,第36届计算机科学理论方面国际研讨会,2019年3月13日至16日,德国柏林,STACS 2019。Wadern:达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。126,第22条,第17页(2019年)。
MSC公司:68季度xx
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

出版年份

主字段