工具下载
论文题目：
在可计算可枚举度中实现一个量词的公式 
全部作者：丁德成 王玮 喻良
论文摘要：首先我们定义不可辨元的一种约束形式并且研究其在可计算可枚举度中的存在性。其次我们证明了一个量词公式和多个量词公式在可计算可枚举度中的区别。
综合评价： 暂无评价 首发时间：2005-12-21 浏览量：1164 收藏数：0 推荐数：5 评论条数：0
友情链接
| 中华人民共和国教育部 | 教育部科学技术司 | 教育部科技发展中心 | 中国教育与科研计算机网 | 教育部学位与研究生教育发展中心 | 国家留学基金委 |
| 教育部科技查新服务平台 | 中国学术会议在线 | 中国教育人力资源系统 | 中国教育新闻网 | 神州学人 中国教育在线 校园先锋 | OA在线资源集成平台 |
中国科技论文在线 版权所有
网站地图 | 在线首页 | 在线简介 | 服务条款 | 联系我们 | 京ICP备05083805号 | 互联网出版许可证 新出网证（京）字053号 | 文保网安备案号：1101080066
主管：中华人民共和国教育部 主办：教育部科技发展中心 技术支持：赛尔网络有限公司
