刷新
An Investigation Into the Design and Implementation of a Prawitz-Based Theorem Prover (Computer Research)
基于 Prawitz 的定理证明器的设计和实现的研究（计算机研究）
基本信息
- 批准号：8218331
- 负责人：
- 金额：$ 1.27万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Standard Grant
- 财政年份：1982
- 资助国家：美国
- 起止时间：1982-09-15 至 1984-02-29
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（0）
专著数量（0）
科研奖励数量（0）
会议论文数量（0）
专利数量（0）
数据更新时间：{{ journalArticles.updateTime }}
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
数据更新时间：{{ journalArticles.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ monograph.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ sciAawards.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ conferencePapers.updateTime }}
{{ item.title }}
- 作者：
{{ item.author }}
数据更新时间：{{ patent.updateTime }}
Neil Murray其他文献
Access, aspiration and attainment : foundation studies at the University of South Australia
机会、愿望和成就：南澳大利亚大学预科课程
- DOI：
10.1108/s1479-3628(2011)0000006014 - 发表时间：
2011 - 期刊：
- 影响因子：0
- 作者：
Neil Murray;Christopher M. Klinger - 通讯作者：
Christopher M. Klinger
Pragmatic Competence as a Regulator of Foreign Language Speaking Proficiency
语用能力是外语口语能力的调节因素
- DOI：
- 发表时间：
2020 - 期刊：
- 影响因子：0
- 作者：
Mostafa Morady Moghaddam;Neil Murray;Yara Mirfendereski - 通讯作者：
Yara Mirfendereski
A model to support the equitable development of academic literacy in institutions of higher education
支持高等教育机构学术素养公平发展的模型
- DOI：
10.1080/0309877x.2022.2044019 - 发表时间：
2022 - 期刊：
- 影响因子：2.3
- 作者：
Neil Murray - 通讯作者：
Neil Murray
English as a lingua franca and the development of pragmatic competence
英语作为通用语言和语用能力的发展
- DOI：
10.1093/elt/ccs016 - 发表时间：
2012 - 期刊：
- 影响因子：2.5
- 作者：
Neil Murray - 通讯作者：
Neil Murray
Integrating phylogeography and morphometrics to assess conservation merits and inform conservation strategies for an endangered subspecies of a common bird species
整合系统发育地理学和形态测量学来评估保护优点并为常见鸟类的濒危亚种的保护策略提供信息
- DOI：
- 发表时间：
2014 - 期刊：
- 影响因子：0
- 作者：
A. Pavlova;P. Selwood;K. Harrisson;Neil Murray;Bruce R. Quin;P. Menkhorst;Ian Smales;P. Sunnucks - 通讯作者：
P. Sunnucks
Neil Murray的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Neil Murray', 18)}}的其他基金
III-COR: Collaborative Research: Knowledge Compilation with Fast Response
III-COR：协作研究：快速响应的知识编译
- 批准号：
0712849 - 财政年份：2007
- 资助金额：
$ 1.27万 - 项目类别：
Standard Grant
Implementation and Analysis of Inference Techniques for Classical and Multiple-Valued Logics
经典多值逻辑推理技术的实现与分析
- 批准号：
9404338 - 财政年份：1995
- 资助金额：
$ 1.27万 - 项目类别：
Continuing Grant
Implementation and Analysis of Proof Techniques Employing Negation Normal Form
否定范式证明技术的实现与分析
- 批准号：
9101208 - 财政年份：1991
- 资助金额：
$ 1.27万 - 项目类别：
Continuing Grant
Automated Reasoning with Path Resolution and Semantic Graphs
通过路径解析和语义图进行自动推理
- 批准号：
8600848 - 财政年份：1986
- 资助金额：
$ 1.27万 - 项目类别：
Continuing Grant
An Investigation Into the Design and Implementation of a Prawitz-Based Theorem Prover
基于 Prawitz 的定理证明器的设计和实现的研究
- 批准号：
8103478 - 财政年份：1981
- 资助金额：
$ 1.27万 - 项目类别：
Standard Grant
相似国自然基金
靶向B亚型β冠状病毒RBD和HR1高保守区的双特异蛋白广谱进入抑制剂的设计及功能研究
- 批准号：82204264
- 批准年份：2022
- 资助金额：30 万元
- 项目类别：青年科学基金项目
供应商直销下的契约设计与协调机制
- 批准号：71802096
- 批准年份：2018
- 资助金额：18.0 万元
- 项目类别：青年科学基金项目
靶向GPcl的新型小分子埃博拉病毒进入抑制剂EEI-10的结构优化及作用机制研究
- 批准号：81802019
- 批准年份：2018
- 资助金额：21.0 万元
- 项目类别：青年科学基金项目
新型脑靶向HIV进入/融合抑制剂的设计及初步评价
- 批准号：81703573
- 批准年份：2017
- 资助金额：20.1 万元
- 项目类别：青年科学基金项目
新兴技术初创企业双重“新进入缺陷”及合法化机制研究
- 批准号：71772027
- 批准年份：2017
- 资助金额：48.0 万元
- 项目类别：面上项目
相似海外基金
Mechanistic investigation into Frizzled-2 signaling for treatment of Osteogenesis Imperfecta
Frizzled-2 信号传导治疗成骨不全症的机制研究
- 批准号：
10680236 - 财政年份：2023
- 资助金额：
$ 1.27万 - 项目类别：
Structural and biochemical investigations into the mechanism and evolution of soluble guanylate cyclase regulation
可溶性鸟苷酸环化酶调节机制和进化的结构和生化研究
- 批准号：
10604822 - 财政年份：2023
- 资助金额：
$ 1.27万 - 项目类别：
Incorporating Geriatric Constructs into Management of Inflammatory Bowel Diseases in Older Adults
将老年结构纳入老年人炎症性肠病的治疗
- 批准号：
10729893 - 财政年份：2023
- 资助金额：
$ 1.27万 - 项目类别：
Improving Diagnosis in Gastrointestinal Cancer: Integrating Prediction Models into Routine Clinical Care
改善胃肠癌的诊断：将预测模型纳入常规临床护理
- 批准号：
10641060 - 财政年份：2023
- 资助金额：
$ 1.27万 - 项目类别：
Kids: Nocturnal Investigation into Glomerular Disease, Hypertension, and Transcriptomics (kNIGHT)
儿童：肾小球疾病、高血压和转录组学的夜间调查 (kNIGHT)
- 批准号：
10583680 - 财政年份：2023
- 资助金额：
$ 1.27万 - 项目类别：