Proof Procedures in Predicate Calculus and Type Theory
谓词演算和类型论中的证明过程
基本信息
- 批准号:7101953
- 负责人:
- 金额:$ 6.92万
- 依托单位:
- 依托单位国家:美国
- 项目类别:Standard Grant
- 财政年份:1971
- 资助国家:美国
- 起止时间:1971-05-28 至 1976-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
- 资助金额:
$ 6.92万 - 项目类别:
Standard Grant
Automated Theorem in Proving in Type Theory
类型论证明中的自动定理
- 批准号:
9732312 - 财政年份:1998
- 资助金额:
$ 6.92万 - 项目类别:
Standard Grant
Automated Theorem Proving in Type Theory
类型论中的自动定理证明
- 批准号:
9624683 - 财政年份:1996
- 资助金额:
$ 6.92万 - 项目类别:
Standard Grant
Computer Laboratory for Mathematics Education Instruction
数学教育教学计算机实验室
- 批准号:
9350991 - 财政年份:1993
- 资助金额:
$ 6.92万 - 项目类别:
Standard Grant
Lambda-Calculus, Type Theory, and Automated Theorem Proving
Lambda 微积分、类型论和自动定理证明
- 批准号:
9201893 - 财政年份:1992
- 资助金额:
$ 6.92万 - 项目类别:
Continuing Grant
Lambda-Calculus, Type Theory, and Autmated Theorem Proving
Lambda 微积分、类型论和自动定理证明
- 批准号:
9002546 - 财政年份:1990
- 资助金额:
$ 6.92万 - 项目类别:
Continuing Grant
Lamdba-Calculus, Type Theory, and Automated Theorem Proving
Lamdba 微积分、类型论和自动定理证明
- 批准号:
8702699 - 财政年份:1987
- 资助金额:
$ 6.92万 - 项目类别:
Continuing Grant
Automated Theorem Proving in Type Theory (Computer Research)
类型论中的自动定理证明(计算机研究)
- 批准号:
8402532 - 财政年份:1984
- 资助金额:
$ 6.92万 - 项目类别:
Continuing Grant
Automated Theorem Proving in Type Theory
类型论中的自动定理证明
- 批准号:
8102870 - 财政年份:1981
- 资助金额:
$ 6.92万 - 项目类别:
Continuing Grant
Automatic Theorem Proving in Type Theory
类型论中的自动定理证明
- 批准号:
7801462 - 财政年份:1978
- 资助金额:
$ 6.92万 - 项目类别:
Continuing Grant
相似海外基金
SBIR Phase I: Novel Camera-Projector Device Leveraging Markerless Skin Registration and Projected Augmented Reality Software to Enable Navigation for Minimally Invasive Procedures
SBIR 第一阶段:新型相机投影仪设备利用无标记皮肤配准和投影增强现实软件实现微创手术导航
- 批准号:
2321906 - 财政年份:2024
- 资助金额:
$ 6.92万 - 项目类别:
Standard Grant
I-Corps: A medical device to shield the spinal cord and provide structural stability following decompression and fusion procedures
I-Corps:一种保护脊髓并在减压和融合手术后提供结构稳定性的医疗设备
- 批准号:
2409647 - 财政年份:2024
- 资助金额:
$ 6.92万 - 项目类别:
Standard Grant
System for Annulus Fibrosus Repair (SAFR) – a percutaneously implantable preformed biomaterial for the repair of defects caused by either degenerative disc disease or needle puncture during nucleus pulposus replacement procedures SAFR
纤维环修复系统 (SAFR) — 一种可经皮植入的预制生物材料,用于修复髓核置换手术期间因椎间盘退行性疾病或针刺造成的缺陷
- 批准号:
10051703 - 财政年份:2023
- 资助金额:
$ 6.92万 - 项目类别:
Collaborative R&D
MEGASKILLS [MEthodology of Psycho-pedagogical, Big Data and Commercial Video GAmes procedures for the European SKILLS Agenda Implementation]
MEGASKILLS [欧洲技能议程实施的心理教育学、大数据和商业视频游戏程序的方法]
- 批准号:
10069843 - 财政年份:2023
- 资助金额:
$ 6.92万 - 项目类别:
EU-Funded
Three-dimensional hybrid guidance system for cardiac interventional procedures
心脏介入手术三维混合引导系统
- 批准号:
EP/X023826/1 - 财政年份:2023
- 资助金额:
$ 6.92万 - 项目类别:
Research Grant
Comparative-Effectiveness of Procedures for Carotid Revascularization
颈动脉血运重建手术的比较效果
- 批准号:
10664391 - 财政年份:2023
- 资助金额:
$ 6.92万 - 项目类别:
Development of Rapid Analytical Procedures for Mass Density of Nanoplastics and Verification of Vector Effects on Living Organisms in Real Environments
纳米塑料质量密度快速分析程序的开发以及真实环境中生物体载体效应的验证
- 批准号:
23H00194 - 财政年份:2023
- 资助金额:
$ 6.92万 - 项目类别:
Grant-in-Aid for Scientific Research (A)
Development of a physical reality simulator that can reproduce various intestinal anastomosis procedures
开发可重现各种肠道吻合手术的物理现实模拟器
- 批准号:
23K17242 - 财政年份:2023
- 资助金额:
$ 6.92万 - 项目类别:
Grant-in-Aid for Early-Career Scientists
SBIR Phase I: Intraoperative monitoring device to detect bowel injuries during laparoscopic surgical procedures
SBIR 第一阶段:术中监测装置,用于检测腹腔镜手术过程中的肠道损伤
- 批准号:
2212402 - 财政年份:2023
- 资助金额:
$ 6.92万 - 项目类别:
Standard Grant
Enabling rapid and effective stroke thrombectomy procedures from a Transradial approach: Combining introducer sheath, guide catheter, and distal access catheter into a single device.
通过经桡动脉途径实现快速有效的中风血栓切除术:将导引鞘、引导导管和远端通路导管组合成单个设备。
- 批准号:
10761331 - 财政年份:2023
- 资助金额:
$ 6.92万 - 项目类别: