首页 | 本学科首页   官方微博 | 高级检索  
文章检索
  按 检索   检索词:      
出版年份:   被引次数:   他引次数: 提示:输入*表示无穷大
  免费   0篇
  国内免费   3篇
自动化技术   3篇
  2000年   3篇
排序方式: 共有3条查询结果,搜索用时 0 毫秒
1
1.
张再跃  眭跃飞 《软件学报》2000,11(4):441-446
该文证明了在 Rwtt/ Mwtt中除了最大元和最小元外 ,每个元 c是枝点元素 ,即为某两个大于 c的元素的最大下界 ,其中 Rwtt/ Mwtt是递归可枚举弱真值表归约度集 Rwtt模可盖递归可枚举弱真值表归约度集 Mwtt的商  相似文献   
2.
张再跃  眭跃飞 《软件学报》2000,11(11):1425-1429
证明了给定任何非零的递归可枚举图灵度 a存在递归可枚举图灵度 c相似文献   
3.
张再跃  眭跃飞 《软件学报》2000,11(4):441-452
该文证明了在 Rwtt/ Mwtt中除了最大元和最小元外 ,每个元 c是枝点元素 ,即为某两个大于 c的元素的最大下界 ,其中 Rwtt/ Mwtt是递归可枚举弱真值表归约度集 Rwtt模可盖递归可枚举弱真值表归约度集 Mwtt的商.  相似文献   
1
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号