课题基金 / 基金详情

Verification of Advanced Language (Computer Research)

Verification of Advanced Language (Computer Research)
高级语言验证（计算机研究）
批准号：
8402412
负责人：
Frank Brown
金额：
$15.61万
依托单位：
Artificial Intelligence ResearchInstitute of Texas Inc
依托单位国家：
美国
项目类别：
Continuing Grant
财政年份：
1984
资助国家：
美国
项目状态：
已结题
起止时间：
1984-08-01 至 1988-01-31
来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=8402412&HistoricalAwards=false
关键词：
VerificationAdvancedLanguageComputerResearch

项目摘要

项目成果

Frank Brown的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Theoretical methods in chemistry and biophysics
MRI: Acquisition of a High Performance Central Computing Facility at University of California Santa Barbara
Theoretical methods in chemistry and biophysics
Stochastic methods in chemistry and biophysics
国内基金
海外基金
Capture and Release of Droplets Using Advanced Materials for High Technology Applications
  • 批准号：
    52073127
  • 项目类别：
    面上项目
  • 资助金额：
    58.0万元
  • 批准年份：
    2020
  • 负责人：
    Alidad Amirfazli
  • 依托单位：
    江苏理工学院
面向用户体验的IMT-Advanced系统跨层无线资源分配技术研究
  • 批准号：
    61201232
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    25.0万元
  • 批准年份：
    2012
  • 负责人：
    胡亚辉
  • 依托单位：
    中国科学院信息工程研究所
LTE-Advanced中继网络关键技术研究
  • 批准号：
    61171096
  • 项目类别：
    面上项目
  • 资助金额：
    60.0万元
  • 批准年份：
    2011
  • 负责人：
    王献
  • 依托单位：
    西南交通大学
IMT-Advanced协作中继网络中的网络编码研究
  • 批准号：
    61040005
  • 项目类别：
    专项基金项目
  • 资助金额：
    10.0万元
  • 批准年份：
    2010
  • 负责人：
    王静
  • 依托单位：
    长安大学