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
  • 负责人:
  • 金额:
    $ 0.71万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    1993
  • 资助国家:
    美国
  • 起止时间:
    1993-04-01 至 1993-12-31
  • 项目状态:
    已结题

项目摘要

Travel Support for American attendees of Dagstuhl Seminar on Deduction, March 8-12, 1993, Dagstuhl, Germany This grant supports the travel of American researchers to attend the Dagstuhl seminar on deduction. The seminar will bring together about 50 leading researchers from all over the world to discuss recent results and future research directions. Participants will include researchers representing the German national program on deduction which has been formed recently.
Dagstuhl研讨会美国与会者的旅行支持 1993年3月8日至12日,Dagstuhl,德国 这笔赠款支持美国研究人员前往 参加达格斯图尔的演绎法研讨会 研讨会将 汇集了来自世界各地的大约50名顶尖研究人员, 世界讨论最近的结果和未来的研究 方向 与会者将包括研究人员 代表德国国家减税计划, 最近成立了。

项目成果

期刊论文数量(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
  • 资助金额:
    $ 0.71万
  • 项目类别:
    Standard Grant
Research on Automated Deduction
自动推演研究
  • 批准号:
    9408630
  • 财政年份:
    1995
  • 资助金额:
    $ 0.71万
  • 项目类别:
    Continuing 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
  • 资助金额:
    $ 0.71万
  • 项目类别:
    Standard Grant
Research in Automated Reasoning
自动推理研究
  • 批准号:
    8922330
  • 财政年份:
    1990
  • 资助金额:
    $ 0.71万
  • 项目类别:
    Continuing Grant
A Prolog Technology Theorem Prover
Prolog 技术定理证明器
  • 批准号:
    8611116
  • 财政年份:
    1987
  • 资助金额:
    $ 0.71万
  • 项目类别:
    Continuing Grant

相似国自然基金

两性离子载体(zwitterionic support)作为可溶性支载体在液相有机合成中的应用
  • 批准号:
    21002080
  • 批准年份:
    2010
  • 资助金额:
    19.0 万元
  • 项目类别:
    青年科学基金项目
基于Support Vector Machines(SVMs)算法的智能型期权定价模型的研究
  • 批准号:
    70501008
  • 批准年份:
    2005
  • 资助金额:
    17.0 万元
  • 项目类别:
    青年科学基金项目

相似海外基金

Travel Support: A Short Course on The Polymer Physics of Additive Manufacturing; 2024 American Physical Society (APS) Meeting; Minneapolis, Minnesota; 2-3 March 2024
差旅支持:增材制造聚合物物理短期课程;
  • 批准号:
    2403712
  • 财政年份:
    2024
  • 资助金额:
    $ 0.71万
  • 项目类别:
    Standard Grant
Travel Support for the 2022 American Control Conference; Atlanta, Georgia; June 8-10, 2022
2022 年美国控制会议的差旅支持;
  • 批准号:
    2218987
  • 财政年份:
    2022
  • 资助金额:
    $ 0.71万
  • 项目类别:
    Standard Grant
Student Travel Support to 3D Printing of Polymeric Composites & Hybrid Systems Symposium at American Chemical Society National Meeting; San Diego, California; March 20-24, 2022
聚合物复合材料 3D 打印的学生旅行支持
  • 批准号:
    2129185
  • 财政年份:
    2021
  • 资助金额:
    $ 0.71万
  • 项目类别:
    Standard Grant
Travel Support for the 2021 American Control Conference; New Orleans, Louisiana; May 26-28, 2021
2021 年美国控制会议的差旅支持;
  • 批准号:
    2110732
  • 财政年份:
    2021
  • 资助金额:
    $ 0.71万
  • 项目类别:
    Standard Grant
Student Travel Support to Attend the North American Annual and European Summer Meetings of the Association For Symbolic Logic
学生参加符号逻辑协会北美年会和欧洲夏季会议的旅行支持
  • 批准号:
    1935558
  • 财政年份:
    2020
  • 资助金额:
    $ 0.71万
  • 项目类别:
    Continuing Grant
Travel Support for North American Summer School for Logic, Language, and Information (NASSLLI)
北美逻辑、语言和信息暑期学校 (NASSSLLI) 的差旅支持
  • 批准号:
    2002141
  • 财政年份:
    2020
  • 资助金额:
    $ 0.71万
  • 项目类别:
    Standard Grant
Student Travel Support Program for 2020 American Control Conference; Denver, Colorado; July 1-3, 2020
2020年美国控制会议学生旅行支持计划;
  • 批准号:
    2016129
  • 财政年份:
    2020
  • 资助金额:
    $ 0.71万
  • 项目类别:
    Standard Grant
CIF: Student Conference Travel Support for the 2018 North American School of Information Theory
CIF:2018年北美信息论学院学生会议差旅支持
  • 批准号:
    1832952
  • 财政年份:
    2018
  • 资助金额:
    $ 0.71万
  • 项目类别:
    Standard Grant
Travel Support for the 256th National Meeting and Exposition of the American Chemical Society Symposium "Block Polymer Synthesis and Self-Assembly", Boston, MA (August 19-23, 2018)
美国化学会第 256 届全国会议暨博览会“嵌段聚合物合成与自组装”研讨会的差旅支持,马萨诸塞州波士顿(2018 年 8 月 19 日至 23 日)
  • 批准号:
    1836411
  • 财政年份:
    2018
  • 资助金额:
    $ 0.71万
  • 项目类别:
    Standard Grant
Travel Support for "Polymeric Biomaterials" Symposium at the 249th American Chemical Society (ACS) National Meeting
第 249 届美国化学会 (ACS) 全国会议“高分子生物材料”研讨会的差旅支持
  • 批准号:
    1464454
  • 财政年份:
    2015
  • 资助金额:
    $ 0.71万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了