×

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

使用“image”类型构造函数形式化类型操作。 (英语) Zbl 1262.03025号

Mints,G.(ed.)等人,《第十三届逻辑、语言、信息和计算研讨会论文集》(WoLLIC 2006),美国加利福尼亚州斯坦福市,2006年7月18日至21日。阿姆斯特丹:爱思唯尔。理论计算机科学电子笔记165121-132(2006)。
MSC公司:03B35型 03B15号机组 68吨15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段