×

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

CAMAL 40年了——小还是漂亮吗? (英语) Zbl 1247.68323号

Carette,Jacques(编辑)等人,《智能计算机数学》。2009年7月6日至12日,在加拿大大本德举行了2009年第16届Calculemus研讨会,2009年第8届MKM国际会议,作为2009年CICM的一部分。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02613-3/pbk)。计算机科学课程讲稿5625。《人工智能课堂讲稿》,32-44(2009)。
MSC公司:68瓦30
PDF格式BibTeX公司 XML格式引用
全文: 内政部

句法定向翻译和准字母表树双晶。 (英语) Zbl 1139.68375号

Holub,Jan(编辑)等人,《自动机的实现和应用》。2007年7月16日至18日在捷克共和国布拉格举行的第十二届CIAA国际会议。修订了选定的论文。柏林:施普林格出版社(ISBN 978-3-540-76335-2/pbk)。《计算机科学讲义》4783、265-276(2007)。
PDF格式BibTeX公司 XML格式引用
全文: 内政部

宏树变换器输出语言的泵浦引理。 (英语) Zbl 1508.68196号

Kirchner,Hélène(编辑),代数和编程中的树——CAAP’96。第21届国际学术讨论会,1996年4月22日至24日,瑞典林雪平。诉讼程序。柏林:Springer-Verlag。莱克特。注释计算。科学。1059, 44-58 (1996).
MSC公司:65年第68季度
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份