刷新
{{item.name}}会员
PROOF PROCEDURES IN PREDICATE CALCULUS AND TYPE THEORY
谓词演算和类型论中的证明过程
基本信息
- 批准号：7248739
- 负责人：
- 金额：--
- 依托单位：
- 依托单位国家：美国
- 项目类别：
- 财政年份：1972
- 资助国家：美国
- 起止时间：1972-01-01 至 1973-01-01
- 项目状态：已结题
- 来源：
- 关键词：
项目摘要
项目成果
期刊论文数量（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 }}
其他文献
吉治仁志 他: "トランスジェニックマウスによるTIMP-1の線維化促進機序"最新医学. 55. 1781-1787 (2000)
Hitoshi Yoshiji 等：“转基因小鼠中 TIMP-1 的促纤维化机制”现代医学 55. 1781-1787 (2000)。
- DOI：
- 发表时间：
- 期刊：
- 影响因子：0
- 作者：
- 通讯作者：
LiDAR Implementations for Autonomous Vehicle Applications
- DOI：
- 发表时间：
2021 - 期刊：
- 影响因子：0
- 作者：
- 通讯作者：
吉治仁志 他: "イラスト医学&サイエンスシリーズ血管の分子医学"羊土社(渋谷正史編). 125 (2000)
Hitoshi Yoshiji 等人：“血管医学与科学系列分子医学图解”Yodosha（涉谷正志编辑）125（2000）。
- DOI：
- 发表时间：
- 期刊：
- 影响因子：0
- 作者：
- 通讯作者：
Effect of manidipine hydrochloride,a calcium antagonist,on isoproterenol-induced left ventricular hypertrophy: "Yoshiyama,M.,Takeuchi,K.,Kim,S.,Hanatani,A.,Omura,T.,Toda,I.,Akioka,K.,Teragaki,M.,Iwao,H.and Yoshikawa,J." Jpn Circ J. 62(1). 47-52 (1998)
钙拮抗剂盐酸马尼地平对异丙肾上腺素引起的左心室肥厚的影响：“Yoshiyama,M.,Takeuchi,K.,Kim,S.,Hanatani,A.,Omura,T.,Toda,I.,Akioka,
- DOI：
- 发表时间：
- 期刊：
- 影响因子：0
- 作者：
- 通讯作者：
的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('', 18)}}的其他基金
An implantable biosensor microsystem for real-time measurement of circulating biomarkers
用于实时测量循环生物标志物的植入式生物传感器微系统
- 批准号：
2901954 - 财政年份：2028
- 资助金额：
-- - 项目类别：
Studentship
Exploiting the polysaccharide breakdown capacity of the human gut microbiome to develop environmentally sustainable dishwashing solutions
利用人类肠道微生物群的多糖分解能力来开发环境可持续的洗碗解决方案
- 批准号：
2896097 - 财政年份：2027
- 资助金额：
-- - 项目类别：
Studentship
A Robot that Swims Through Granular Materials
可以在颗粒材料中游动的机器人
- 批准号：
2780268 - 财政年份：2027
- 资助金额：
-- - 项目类别：
Studentship
Likelihood and impact of severe space weather events on the resilience of nuclear power and safeguards monitoring.
严重空间天气事件对核电和保障监督的恢复力的可能性和影响。
- 批准号：
2908918 - 财政年份：2027
- 资助金额：
-- - 项目类别：
Studentship
Proton, alpha and gamma irradiation assisted stress corrosion cracking: understanding the fuel-stainless steel interface
质子、α 和 γ 辐照辅助应力腐蚀开裂：了解燃料-不锈钢界面
- 批准号：
2908693 - 财政年份：2027
- 资助金额：
-- - 项目类别：
Studentship
Field Assisted Sintering of Nuclear Fuel Simulants
核燃料模拟物的现场辅助烧结
- 批准号：
2908917 - 财政年份：2027
- 资助金额：
-- - 项目类别：
Studentship
Assessment of new fatigue capable titanium alloys for aerospace applications
评估用于航空航天应用的新型抗疲劳钛合金
- 批准号：
2879438 - 财政年份：2027
- 资助金额：
-- - 项目类别：
Studentship
Developing a 3D printed skin model using a Dextran - Collagen hydrogel to analyse the cellular and epigenetic effects of interleukin-17 inhibitors in
使用右旋糖酐-胶原蛋白水凝胶开发 3D 打印皮肤模型，以分析白细胞介素 17 抑制剂的细胞和表观遗传效应
- 批准号：
2890513 - 财政年份：2027
- 资助金额：
-- - 项目类别：
Studentship
Understanding the interplay between the gut microbiome, behavior and urbanisation in wild birds
了解野生鸟类肠道微生物组、行为和城市化之间的相互作用
- 批准号：
2876993 - 财政年份：2027
- 资助金额：
-- - 项目类别：
Studentship
相似海外基金
I-Corps: A medical device to shield the spinal cord and provide structural stability following decompression and fusion procedures
I-Corps：一种保护脊髓并在减压和融合手术后提供结构稳定性的医疗设备
- 批准号：
2409647 - 财政年份：2024
- 资助金额：
-- - 项目类别：
Standard 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
- 资助金额：
-- - 项目类别：
Standard Grant
MEGASKILLS [MEthodology of Psycho-pedagogical, Big Data and Commercial Video GAmes procedures for the European SKILLS Agenda Implementation]
MEGASKILLS [欧洲技能议程实施的心理教育学、大数据和商业视频游戏程序的方法]
- 批准号：
10069843 - 财政年份：2023
- 资助金额：
-- - 项目类别：
EU-Funded
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
- 资助金额：
-- - 项目类别：
Collaborative R&D
Three-dimensional hybrid guidance system for cardiac interventional procedures
心脏介入手术三维混合引导系统
- 批准号：
EP/X023826/1 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Research Grant
Comparative-Effectiveness of Procedures for Carotid Revascularization
颈动脉血运重建手术的比较效果
- 批准号：
10664391 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Development of Rapid Analytical Procedures for Mass Density of Nanoplastics and Verification of Vector Effects on Living Organisms in Real Environments
纳米塑料质量密度快速分析程序的开发以及真实环境中生物体载体效应的验证
- 批准号：
23H00194 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Grant-in-Aid for Scientific Research (A)
SBIR Phase I: Intraoperative monitoring device to detect bowel injuries during laparoscopic surgical procedures
SBIR 第一阶段：术中监测装置，用于检测腹腔镜手术过程中的肠道损伤
- 批准号：
2212402 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Standard Grant
Development of a physical reality simulator that can reproduce various intestinal anastomosis procedures
开发可重现各种肠道吻合手术的物理现实模拟器
- 批准号：
23K17242 - 财政年份：2023
- 资助金额：
-- - 项目类别：
Grant-in-Aid for Early-Career Scientists
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
- 资助金额：
-- - 项目类别：