搜索筛选:
搜索耗时0.0605秒,为你在为你在102,285,761篇论文里面共找到 2 篇相符的论文内容
发布年度:
[学位论文] 作者：庄延平,,
来源：青岛科技大学 年份：2009
从定理自动证明的发展过程中产生和发展起来的Mizar系统,是用来构建Mizar数学知识库的证明校验系统,也是一个数学定理证明工具。Mizar系统的逻辑框架基于Jagkowski自然演绎推...
[期刊论文] 作者：冯岩,杨才,崔来旺,林海涛,白灵麒,王东星,庄延平,,
来源：西部资源 年份：2013
页岩气是以吸附和游离相赋存于泥页岩或泥页岩层系中的天然气,是一种重要的非常规天然气资源类型.通过对以往地质资料进行综合研究,认为内蒙古东部地区海拉尔、二连两个盆地...
相关搜索：
