×

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

依赖结构和词汇化语法。代数方法。 (英语) Zbl 1194.68241号

计算机科学课堂讲稿人工智能课堂讲稿。柏林:施普林格出版社(ISBN 978-3-642-14567-4/pbk)。xii,137页。(2010).
PDF格式BibTeX公司 XML格式引用
全文: 内政部

瓦格纳等级的代数对应物。 (英语) Zbl 1143.68047号

Beckmann,Arnold(编辑)等人,《逻辑与算法理论》。第四届欧洲可计算性会议,2008年6月15日至20日,希腊雅典,CiE 2008。诉讼程序。柏林:施普林格出版社(ISBN 978-3-540-69405-2/pbk)。计算机科学课堂讲稿5028,100-109(2008)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

半群上的无限对策。 (英语) Zbl 1157.2004年10月

Bold,Stefan(编辑)等人,《形式科学基础V.无限游戏》。第五届会议论文,FotFS V,德国波恩,2004年11月26-29日。伦敦:国王学院出版物(ISBN 978-1-904987-75-8/pbk)。《逻辑研究》(伦敦)11,63-78(2007)。
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

出版年份