刷新
{{item.name}}会员
A Prolog Technology Theorem Prover
Prolog 技术定理证明器
基本信息
- 批准号：8611116
- 负责人：
- 金额：$ 22.83万
- 依托单位：
- 依托单位国家：美国
- 项目类别：Continuing Grant
- 财政年份：1987
- 资助国家：美国
- 起止时间：1987-03-15 至 1989-08-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 }}
Mark Stickel其他文献
Set theory in first-order logic: Clauses for Gödel's axioms
- DOI：
10.1007/bf02328452 - 发表时间：
1986-09-01 - 期刊：
- 影响因子：0.800
- 作者：
Robert Boyer;Ewing Lusk;William McCune;Ross Overbeek;Mark Stickel;Lawrence Wos - 通讯作者：
Lawrence Wos
Mark Stickel的其他文献
{{
item.title }}
{{ item.translation_title }}
- DOI：
{{ item.doi }} - 发表时间：
{{ item.publish_year }} - 期刊：
- 影响因子：{{ item.factor }}
- 作者：
{{ item.authors }} - 通讯作者：
{{ item.author }}
{{ truncateString('Mark Stickel', 18)}}的其他基金
Travel Support for the l997 Dagstuhl Seminar on Deduction, February 24-28, l997, Wadern, Germany
1997 年 Dagstuhl 演绎研讨会旅行支持，1997 年 2 月 24 日至 28 日，德国瓦德恩
- 批准号：
9705408 - 财政年份：1997
- 资助金额：
$ 22.83万 - 项目类别：
Standard Grant
Travel Support for the l995 Dagstuhl Seminar on Deduction, March 20-24, l995, Dagstuhl Seminar Center, Wadern, Germany.
为 1995 年 Dagstuhl 演绎研讨会提供旅行支持，1995 年 3 月 20 日至 24 日，德国瓦德恩 Dagstuhl 研讨会中心。
- 批准号：
9500136 - 财政年份：1995
- 资助金额：
$ 22.83万 - 项目类别：
Standard Grant
Travel Support for American Attendees of the Dagstuhl Seminar on Deduction to be held in Germany from March 8-12, 1993
为参加 1993 年 3 月 8 日至 12 日在德国举行的 Dagstuhl 演绎研讨会的美国与会者提供差旅补助
- 批准号：
9312332 - 财政年份：1993
- 资助金额：
$ 22.83万 - 项目类别：
Standard Grant
相似国自然基金
Intelligent Patent Analysis for Optimized Technology Stack Selection:Blockchain BusinessRegistry Case Demonstration
- 批准号：
- 批准年份：2024
- 资助金额：万元
- 项目类别：外国学者研究基金项目
Journal of Computer Science and Technology
- 批准号：61224001
- 批准年份：2012
- 资助金额：20.0 万元
- 项目类别：专项基金项目
Journal of Materials Science & Technology
- 批准号：51024801
- 批准年份：2010
- 资助金额：24.0 万元
- 项目类别：专项基金项目
Journal of Computer Science and Technology
- 批准号：61040017
- 批准年份：2010
- 资助金额：4.0 万元
- 项目类别：专项基金项目
相似海外基金
FW-HTF-RL: Success via a Human-Assistive Wearable Technology Partnership Fostering Neurodiverse Individuals' Work Success via an Assistive Wearable Technology
FW-HTF-RL：通过人类辅助可穿戴技术合作伙伴关系取得成功通过辅助可穿戴技术促进神经多样性个体的工作成功
- 批准号：
2326270 - 财政年份：2024
- 资助金额：
$ 22.83万 - 项目类别：
Standard Grant
IUCRC Phase III University of Colorado Boulder: Center for Membrane Applications, Science and Technology (MAST)
IUCRC 第三阶段科罗拉多大学博尔德分校：膜应用、科学与技术中心 (MAST)
- 批准号：
2310937 - 财政年份：2024
- 资助金额：
$ 22.83万 - 项目类别：
Continuing Grant
I-Corps: Translation Potential of Head Impact Monitoring with Embedded Sensor Technology in Sports Helmets
I-Corps：运动头盔中嵌入式传感器技术的头部碰撞监测的转化潜力
- 批准号：
2416207 - 财政年份：2024
- 资助金额：
$ 22.83万 - 项目类别：
Standard Grant
I-Corps: Fisheries Management Through Species Identification Technology
I-Corps：通过物种识别技术进行渔业管理
- 批准号：
2348772 - 财政年份：2024
- 资助金额：
$ 22.83万 - 项目类别：
Standard Grant
Building Credentialed Media Technology Pathways for Priority Populations from High School through Community Colleges to Industry (MTP3)
为从高中到社区大学再到工业界的优先人群建立认证媒体技术途径 (MTP3)
- 批准号：
2400610 - 财政年份：2024
- 资助金额：
$ 22.83万 - 项目类别：
Standard Grant
STTR Phase I: Innovating Micro-Light Emitting Diode (LED) Manufacturing with Novel Quantum Dot Micro-Patterning Technology
STTR 第一阶段：利用新型量子点微图案化技术创新微发光二极管 (LED) 制造
- 批准号：
2335283 - 财政年份：2024
- 资助金额：
$ 22.83万 - 项目类别：
Standard Grant
Scholarships in Science and Technology for Talented Low-income Students
为有才华的低收入学生提供科学技术奖学金
- 批准号：
2329842 - 财政年份：2024
- 资助金额：
$ 22.83万 - 项目类别：
Standard Grant
SBIR Phase I: Industrial-Scale Technology for Drug Development in Mature Human Fat Cells
SBIR 第一阶段：成熟人类脂肪细胞药物开发的工业规模技术
- 批准号：
2322443 - 财政年份：2024
- 资助金额：
$ 22.83万 - 项目类别：
Standard Grant
EA: Upgrade of the UCSC TIMS with the ATONA amplifier technology
EA：采用 ATONA 放大器技术升级 UCSC TIMS
- 批准号：
2331716 - 财政年份：2024
- 资助金额：
$ 22.83万 - 项目类别：
Standard Grant
GOALI: Understanding granulation using microbial resource management for the broader application of granular technology
目标：利用微生物资源管理了解颗粒化，以实现颗粒技术的更广泛应用
- 批准号：
2227366 - 财政年份：2024
- 资助金额：
$ 22.83万 - 项目类别：
Standard Grant