欢迎您!
东篱公司
退出
申报数据库
申报指南
立项数据库
成果数据库
期刊论文
会议论文
著 作
专 利
项目获奖数据库
位置:
成果数据库
>
期刊
> 期刊详情页
<span style="color: rgb(0, 0, 0); font-family: Simsun;">基于时态数据库的极小子结构逻辑系统</span&g
ISSN号:0254-4164
期刊名称:计算机学报
时间:2013.8.31
页码:1592-1601
相关项目:RBAC授权决策支持模式研究
作者:
刘冬宁|汤庸|滕少华|
同期刊论文项目
RBAC授权决策支持模式研究
期刊论文 16
会议论文 3
同项目期刊论文
On the Decidability of Modal Extension of FLew
RBAC模型研究历程中的系列问题分析
基于中文陈述句灵活语序的Lambek演算
Cloud Manufacturing: a Novel Way to Centralize Manufacturing Resources and Provide Manufacturing Ser
Cloud Manufacturing Service System for Industrial-Cluster-Oriented Application
云制造服务平台的资源使用及访问控制
The resource access authorization route problem in a collaborative manufacturing system
基于角色协同的在线社交网络好友推荐机制
基于主从角色分配的气象自动站布局及其优化
E-CARGO模型在线社会网络研究团队机制
基于分支限界的不平衡气象数据晴雨分析
基于时态数据库的极小子结构逻辑系统
一种缓解分类面交错的样本点扩散方法
期刊信息
《计算机学报》
北大核心期刊(2011版)
主管单位:中国科学院
主办单位:中国计算机学会 中国科学院计算技术研究所
主编:孙凝晖
地址:北京中关村科学院南路6号
邮编:100190
邮箱:cjc@ict.ac.cn
电话:010-62620695
国际标准刊号:ISSN:0254-4164
国内统一刊号:ISSN:11-1826/TP
邮发代号:2-833
获奖情况:
中国期刊方阵“双效”期刊
国内外数据库收录:
美国数学评论(网络版),荷兰文摘与引文数据库,美国工程索引,美国剑桥科学文摘,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊(2004版),中国北大核心期刊(2008版),中国北大核心期刊(2011版),中国北大核心期刊(2014版),中国北大核心期刊(2000版)
被引量:48433