×

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

小块地{\(\Omega\)}:文本编辑器和证据辅助系统之间的中介。 (英语) 兹比尔1278.68284

Autexier,Serge(编辑)等人,第七届定理证明器用户界面研讨会论文集(UITP 2006),西雅图,华盛顿州,美国,2006年8月21日。阿姆斯特丹:爱思唯尔。《理论计算机科学电子笔记》174,第2期,87-107(2007)。
MSC公司:第68页第15页 68立方英尺 68单位15
PDF格式BibTeX公司 XML格式引用
全文: 内政部

筛选结果依据…

文档类型

全部的 前5名

出版年份

主字段