×

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

单值自下而上树变换器的确定性和包含性。 (英语) Zbl 1302.68164号

Dediu,Adrian-Horia(编辑)等人,《语言和自动机理论与应用》。2013年4月2-5日在西班牙毕尔巴鄂举行的2013年拉丁美洲旅游协会第七届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-37063-2/pbk)。计算机科学讲义7810335-346(2013)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

正向XPath的可流化片段。 (英语) Zbl 1297.68129号

Bouchou-Markhoff,Béatrice(编辑)等人,《自动机的实现和应用》。2011年7月13日至16日在法国布洛伊斯举行的CIAA 2011第16届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-22255-9/pbk)。计算机科学讲座笔记6807,3-15(2011)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

用时序逻辑和自动机推理XML。 (英语) Zbl 1182.68123号

Cervesato,Iliano(编辑)等人,《编程逻辑、人工智能和推理》。2008年11月22日至27日在卡塔尔多哈举行的2008年LPAR第15届国际会议。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-89438-4/pbk)。计算机科学讲义5330。人工智能课堂讲稿,97-112(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部 链接

XQuery。基础和先进方法。(XQuery.Grundlagen und fortgeschrittene Methoden。) (德语) Zbl 1083.68032号

海德堡:dpunkt.verlag(ISBN 3-89864-266-6/pbk)。xiii,第290页。(2004).
PDF格式BibTeX公司 XML格式引用

树结构数据的基于自动化和逻辑的模式语言。 (英语) Zbl 1017.68063号

Bertossi,Leopoldo(编辑)等人,《数据库中的语义》。第二次国际研讨会,德国达格斯图尔城堡,2001年1月7日至12日。修订论文。柏林:斯普林格。莱克特。注释计算。科学。2582, 160-178 (2003).
PDF格式BibTeX公司 XML格式引用
全文: 链接

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段