位置：成果数据库 > 期刊 > 期刊详情页
<span style="font-family:宋体;font-size:10.5pt;">基于标记</span><span style="
  • ISSN号：1002-137X
  • 期刊名称：计算机科学
  • 时间：2013.10.15
  • 页码：166-171
  • 相关项目：软约束满足问题的符号表示及其推理研究
作者： 朱创营|常亮|徐周波|李凤英|
同期刊论文项目
软约束满足问题的符号表示及其推理研究
期刊论文 10 会议论文 1
同项目期刊论文
<span style="font-family:宋体;font-size:10.5pt;">分支时态描述逻辑</span><span style=&
基于改进遗传编程的并行装配序列规划
基于符号ADD和线性多分支程序的分类算法安全评估
KMP算法的理论研究
基于OBDD的描述逻辑εL循环术语集推理
基于分支程序逆向评估的安全多方计算
期刊信息
  • 《计算机科学》
  • 北大核心期刊（2011版）
  • 主管单位:重庆西南信息有限公司（原科技部西南信息中心）
  • 主办单位:重庆西南信息有限公司（原科技部西南信息中心）
  • 主编：陈国良
  • 地址：重庆市渝北区洪湖西路18号
  • 邮编：401121
  • 邮箱：jsjkx12@163.com
  • 电话：023-63500828
  • 国际标准刊号：ISSN：1002-137X
  • 国内统一刊号：ISSN：50-1075/TP
  • 邮发代号:78-68
  • 获奖情况:
  • 2001年重庆市优秀期刊,2004年第三届重庆市优秀科技期刊,2005年重庆市优秀期刊编辑部,2010年第六届重庆市期刊综合质量考核"十佳科技期刊",2012年重庆市出版专项资金报刊资助项目（重庆市新...,2013年重庆市出版专项资金重点学术期刊资助项目（...,2014年重庆市出版专项资金期刊资助项目（重庆市文...,2015年"中国国际影响力优秀学术期刊"
  • 国内外数据库收录:
  • 波兰哥白尼索引,美国乌利希期刊指南,美国剑桥科学文摘,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2011版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:41227