基于中文陈述句灵活语序的Lambek演算
- ISSN号:1002-137X
- 期刊名称:计算机科学
- 时间:2014.10
- 页码:270-275
- 相关项目:RBAC授权决策支持模式研究
同期刊论文项目
同项目期刊论文
期刊信息
- 主管单位:重庆西南信息有限公司(原科技部西南信息中心)
- 主办单位:重庆西南信息有限公司(原科技部西南信息中心)
- 主编:陈国良
- 地址:重庆市渝北区洪湖西路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版)