刷新
{{item.name}}会员
Automatic Theorem Proving in Type Theory
类型论中的自动定理证明
基本信息
- 批准号：7801462
- 负责人：
- 金额：$ 13.44万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Continuing Grant
- 财政年份：1978
- 资助国家：美国
- 起止时间：1978-08-01 至 1981-12-31
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（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 }}
Peter Andrews其他文献
Taphonomy and palaeoecology of Olduvai Bed-I (Pleistocence, Tanzania).
Olduvai Bed-I（更新世，坦桑尼亚）的埋藏学和古生态学。
- DOI：
10.1006/jhev.1997.0188 - 发表时间：
1998 - 期刊：
- 影响因子：3.2
- 作者：
Y. Fernández;Y. Fernández;Christiane Denys;Peter Andrews;T. Williams;Y. Dauphin;Louise T. Humphrey - 通讯作者：
Louise T. Humphrey
101 uses for fossilized faeces
101 种化石粪便的用途
- DOI：
10.1038/31356 - 发表时间：
1998-06-18 - 期刊：
- 影响因子：48.500
- 作者：
Peter Andrews;Yolanda Fernandez-Jalvo - 通讯作者：
Yolanda Fernandez-Jalvo
Year in review in intensive care medicine, 2004. III. Outcome, ICU organisation, scoring, quality of life, ethics, psychological problems and communication in the ICU, immunity and hemodynamics during sepsis, pediatric and neonatal critical care, experimental studies
- DOI：
10.1007/s00134-005-2573-9 - 发表时间：
2005-02-18 - 期刊：
- 影响因子：21.200
- 作者：
Peter Andrews;Elie Azoulay;Massimo Antonelli;Laurent Brochard;Christian Brun-Buisson;Geoffrey Dobb;Jean-Yves Fagon;Herwig Gerlach;Johan Groeneveld;Jordi Mancebo;Philipp Metnitz;Stefano Nava;Jerome Pugin;Michael Pinsky;Peter Radermacher;Christian Richard;Robert Tasker;Benoit Vallet - 通讯作者：
Benoit Vallet
Patient Experience and Preferences for the Assessment of Olfaction: The Patient International Clinical Assessment of Smell Survey
患者嗅觉评估的经验和偏好：患者国际嗅觉临床评估调查
- DOI：
10.1159/000535794 - 发表时间：
2024 - 期刊：
- 影响因子：0
- 作者：
K. Whitcroft;Christine Kelly;Peter Andrews - 通讯作者：
Peter Andrews
International clinical assessment of smell: An international, cross‐sectional survey of current practice in the assessment of olfaction
国际嗅觉临床评估：对嗅觉评估当前实践的国际横断面调查
- DOI：
10.1111/coa.14123 - 发表时间：
2023 - 期刊：
- 影响因子：2.1
- 作者：
K. Whitcroft;I. Alobid;A. Altundağ;Peter Andrews;Sean Carrie;Miriam Fahmy;A. Fjaeldstad;Simon Gane;Claire Hopkins;J. W. Hsieh;C. Huart;T. Hummel;I. Konstantinidis;Baslie N Landis;E. Mori;J. Mullol;Carl Philpott;Aristotelis Poulios;Jan Vodička;Victoria M Ward - 通讯作者：
Victoria M Ward
Peter Andrews的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Peter Andrews', 18)}}的其他基金
Automated Theorem Proving in Type Theory
类型论中的自动定理证明
- 批准号：
0097179 - 财政年份：2001
- 资助金额：
$ 13.44万 - 项目类别：
Standard Grant
Automated Theorem in Proving in Type Theory
类型论证明中的自动定理
- 批准号：
9732312 - 财政年份：1998
- 资助金额：
$ 13.44万 - 项目类别：
Standard Grant
Automated Theorem Proving in Type Theory
类型论中的自动定理证明
- 批准号：
9624683 - 财政年份：1996
- 资助金额：
$ 13.44万 - 项目类别：
Standard Grant
Computer Laboratory for Mathematics Education Instruction
数学教育教学计算机实验室
- 批准号：
9350991 - 财政年份：1993
- 资助金额：
$ 13.44万 - 项目类别：
Standard Grant
Lambda-Calculus, Type Theory, and Automated Theorem Proving
Lambda 微积分、类型论和自动定理证明
- 批准号：
9201893 - 财政年份：1992
- 资助金额：
$ 13.44万 - 项目类别：
Continuing Grant
Lambda-Calculus, Type Theory, and Autmated Theorem Proving
Lambda 微积分、类型论和自动定理证明
- 批准号：
9002546 - 财政年份：1990
- 资助金额：
$ 13.44万 - 项目类别：
Continuing Grant
Lamdba-Calculus, Type Theory, and Automated Theorem Proving
Lamdba 微积分、类型论和自动定理证明
- 批准号：
8702699 - 财政年份：1987
- 资助金额：
$ 13.44万 - 项目类别：
Continuing Grant
Automated Theorem Proving in Type Theory (Computer Research)
类型论中的自动定理证明（计算机研究）
- 批准号：
8402532 - 财政年份：1984
- 资助金额：
$ 13.44万 - 项目类别：
Continuing Grant
Automated Theorem Proving in Type Theory
类型论中的自动定理证明
- 批准号：
8102870 - 财政年份：1981
- 资助金额：
$ 13.44万 - 项目类别：
Continuing Grant
Proof Procedures in Predicate Calculus and Type Theory
谓词演算和类型论中的证明过程
- 批准号：
7101953 - 财政年份：1971
- 资助金额：
$ 13.44万 - 项目类别：
Standard Grant
相似海外基金
Temporal Logic, Hardware Verification, and Automatic Theorem Proving
时态逻辑、硬件验证和自动定理证明
- 批准号：
8722633 - 财政年份：1988
- 资助金额：
$ 13.44万 - 项目类别：
Continuing Grant
Research on Automatic Theorem Proving and Applications
自动定理证明及其应用研究
- 批准号：
8613706 - 财政年份：1987
- 资助金额：
$ 13.44万 - 项目类别：
Continuing Grant
Automatic Theorem Proving and Applications (Computer Research)
自动定理证明及应用（计算机研究）
- 批准号：
8313499 - 财政年份：1983
- 资助金额：
$ 13.44万 - 项目类别：
Continuing Grant
Research on Automatic Theorem Proving and Applications
自动定理证明及其应用研究
- 批准号：
8011417 - 财政年份：1980
- 资助金额：
$ 13.44万 - 项目类别：
Continuing Grant
Research on Automatic Theorem Proving and Applications
自动定理证明及其应用研究
- 批准号：
7720701 - 财政年份：1977
- 资助金额：
$ 13.44万 - 项目类别：
Continuing Grant
Automatic Theorem Proving in Type Theory
类型论中的自动定理证明
- 批准号：
7606087 - 财政年份：1976
- 资助金额：
$ 13.44万 - 项目类别：
Standard Grant
Travel to Attend Conference on Automatic Theorem Proving, Oberwolfach, West Germany, January 5 - 10,1976
前往参加自动定理证明会议，奥伯沃尔法赫，西德，1976 年 1 月 5 日至 10 日
- 批准号：
7610151 - 财政年份：1976
- 资助金额：
$ 13.44万 - 项目类别：
Standard Grant
Research in Automatic Theorem Proving
自动定理证明研究
- 批准号：
7412866 - 财政年份：1974
- 资助金额：
$ 13.44万 - 项目类别：
Continuing Grant