刷新
{{item.name}}会员
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
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
English as a lingua franca and the development of pragmatic competence
英语作为通用语言和语用能力的发展
- DOI：
10.1093/elt/ccs016 - 发表时间：
2012 - 期刊：
- 影响因子：2.5
- 作者：
Neil Murray - 通讯作者：
Neil Murray
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
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
相似海外基金
Investigation into the use of Continuous Strain Monitoring Fiber Optic techniques with a view to optimization of Ground Support Design associated with Tunnelling for Civil Infrastructure
研究连续应变监测光纤技术的使用，以优化与民用基础设施隧道相关的地面支撑设计
- 批准号：
RGPIN-2019-05673 - 财政年份：2022
- 资助金额：
$ 1.27万 - 项目类别：
Discovery Grants Program - Individual
Investigation into the use of Continuous Strain Monitoring Fiber Optic techniques with a view to optimization of Ground Support Design associated with Tunnelling for Civil Infrastructure
研究连续应变监测光纤技术的使用，以优化与民用基础设施隧道相关的地面支撑设计
- 批准号：
RGPIN-2019-05673 - 财政年份：2021
- 资助金额：
$ 1.27万 - 项目类别：
Discovery Grants Program - Individual
Investigation into the use of Continuous Strain Monitoring Fiber Optic techniques with a view to optimization of Ground Support Design associated with Tunnelling for Civil Infrastructure
研究连续应变监测光纤技术的使用，以优化与民用基础设施隧道相关的地面支撑设计
- 批准号：
RGPIN-2019-05673 - 财政年份：2020
- 资助金额：
$ 1.27万 - 项目类别：
Discovery Grants Program - Individual
Bioinspired textiles: an investigation into biomimetic principles and their application to sustainable textile design and making processes
仿生纺织品：仿生原理及其在可持续纺织品设计和制造过程中的应用的研究
- 批准号：
AH/T006412/1 - 财政年份：2020
- 资助金额：
$ 1.27万 - 项目类别：
Fellowship
Investigation into the use of Continuous Strain Monitoring Fiber Optic techniques with a view to optimization of Ground Support Design associated with Tunnelling for Civil Infrastructure
研究连续应变监测光纤技术的使用，以优化与民用基础设施隧道相关的地面支撑设计
- 批准号：
RGPIN-2019-05673 - 财政年份：2019
- 资助金额：
$ 1.27万 - 项目类别：
Discovery Grants Program - Individual
Investigation into the fundamentals of contact mechanics in turbine blades roots to enable improved techniques for design optimisation and reliability
研究涡轮叶片根部接触力学的基础知识，以改进设计优化和可靠性技术
- 批准号：
2397291 - 财政年份：2019
- 资助金额：
$ 1.27万 - 项目类别：
Studentship
Rules of Thumb: An Investigation into the Potential of Contextual Transposition in Social Design
经验法则：对社会设计中情境换位潜力的调查
- 批准号：
AH/N003802/1 - 财政年份：2015
- 资助金额：
$ 1.27万 - 项目类别：
Research Grant
Basic Design: a practice-led investigation into the significance of space and form in art school pedagogy
基本设计：以实践为主导的艺术学校教学中空间和形式意义的调查
- 批准号：
1644452 - 财政年份：2015
- 资助金额：
$ 1.27万 - 项目类别：
Studentship
Investigation by an impact response analysis into problems in the design procedure for a pocket-type rockfall protection net
袋式落石防护网设计过程中存在的问题的冲击响应分析研究
- 批准号：
26420456 - 财政年份：2014
- 资助金额：
$ 1.27万 - 项目类别：
Grant-in-Aid for Scientific Research (C)
EAGER: Speaking Across Generations: An Early Investigation into Multi-Lifespan Information System Design
EAGER：跨代对话：对多生命周期信息系统设计的早期调查
- 批准号：
1143966 - 财政年份：2011
- 资助金额：
$ 1.27万 - 项目类别：
Standard Grant