您的位置： 专家智库 > >

江苏省教育厅哲学社会科学基金(07YYB004)

作品数：1 被引量：14H指数：1
相关作者：盛林沈楠更多>>
相关机构：南京航空航天大学南京大学更多>>
发文基金：江苏省教育厅哲学社会科学基金国家社会科学基金更多>>
相关领域：社会学经济管理更多>>

领域

  • 2个经济管理
  • 2个社会学
  • 1个自动化与计算...
  • 1个文化科学
  • 1个语言文字
  • 1个历史地理

主题

  • 2个语言
  • 2个语言能力
  • 2个语言选择
  • 2个语言运用
  • 2个农民工子女
  • 1个代词
  • 1个第二人称
  • 1个第三人称代词
  • 1个定理证明
  • 1个定理证明器
  • 1个动词
  • 1个对文
  • 1个对语
  • 1个信息焦点
  • 1个形声
  • 1个形式化
  • 1个形式化定义
  • 1个形式化验证
  • 1个形式化验证方...
  • 1个休克

机构

  • 1个南京大学
  • 1个南京航空航天...

资助

  • 2个国家社会科学...
  • 2个江苏省教育厅...
  • 1个国家教育部“...

传媒

  • 2个南京社会科学
  • 1个语文建设
  • 1个安徽大学学报...
  • 1个湖北大学学报...
  • 1个语言文字应用
  • 1个南通师范学院...
  • 1个平顶山师专学...
  • 1个计算机科学
  • 1个东南大学学报...
  • 1个浙江师范大学...
  • 1个科教文汇
  • 1个科技创新导报
  • 1个教育界（综合...
  • 1个新西部（中旬...

地区

  • 2个江苏省
共 2 条 记 录，以下是 1-2
沈楠
供职机构：南京航空航天大学
研究主题：COQ 留学生管理 形式化验证方法 形式化验证 定理证明器
发表作品相关人物供职机构所获资助研究领域
盛林
供职机构：南京大学文学院
研究主题：《广雅疏证》 言语义 语言义 农民工子女 语言运用
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0