×

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

即时宏。 (英语) Zbl 1246.68257号

Ono,Hiroakira(编辑)等人,《逻辑、语言、信息和计算》。2009年6月21日至24日,第16届国际研讨会,WoLLIC 2009,日本东京。诉讼程序。柏林:施普林格出版社(ISBN 978-3-642-02260-9/pbk)。计算机科学课堂讲稿5514。人工智能课堂讲稿,155-169(2009)。
MSC公司:68周05
PDF格式BibTeX公司 XML格式引用
全文: DOI程序

筛选结果依据…

文档类型

出版年份

主字段