课题基金 / 基金详情

Travel Support for the l995 Dagstuhl Seminar on Deduction, March 20-24, l995, Dagstuhl Seminar Center, Wadern, Germany.

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
负责人：
Mark Stickel
金额：
$0.84万
依托单位：
SRI International
依托单位国家：
美国
项目类别：
Standard Grant
财政年份：
1995
资助国家：
美国
项目状态：
已结题
起止时间：
1995-03-15 至 1995-08-31
来源：
https://www.nsf.gov/awardsearch/showAward?AWD_ID=9500136&HistoricalAwards=false
关键词：
TravelSupportl995DagstuhlSeminar

项目摘要

项目成果

Mark Stickel的其他基金

相似基金

相关文献

中文摘要
翻译
点击翻译按钮获取中文摘要
英文摘要
An international seminar on deduction organized by Prof. Wolfgang Bibel (Technische Hochschule Darmstadt, Germany), Prof. Koichi Furukawa (Keio University, Japan), and Dr. Mark Stickel (SRI International, Menlo Park, California) was held 20-24 March l995 at the Dagstuhl Seminar Center in Wadern, Germany. About 50 researchers working in the field of automated deduction from around the world were invited to participate.
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Travel Support for the l997 Dagstuhl Seminar on Deduction, February 24-28, l997, Wadern, Germany
  • 批准号：
    9705408
  • 项目类别：
    Standard Grant
  • 资助金额：
    $0.83万
  • 财政年份：
    1997
  • 负责人：
    Mark Stickel
  • 依托单位：
    SRI International
Research on Automated Deduction
  • 批准号：
    9408630
  • 项目类别：
    Continuing Grant
  • 资助金额：
    $15.29万
  • 财政年份：
    1995
  • 负责人：
    Mark Stickel
  • 依托单位：
    SRI International
Travel Support for American Attendees of the Dagstuhl Seminar on Deduction to be held in Germany from March 8-12, 1993
  • 批准号：
    9312332
  • 项目类别：
    Standard Grant
  • 资助金额：
    $0.71万
  • 财政年份：
    1993
  • 负责人：
    Mark Stickel
  • 依托单位：
    SRI International
Research in Automated Reasoning
  • 批准号：
    8922330
  • 项目类别：
    Continuing Grant
  • 资助金额：
    $35.63万
  • 财政年份：
    1990
  • 负责人：
    Mark Stickel
  • 依托单位：
    SRI International
国内基金
海外基金
两性离子载体（zwitterionic support）作为可溶性支载体在液相有机合成中的应用
  • 批准号：
    21002080
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    19.0万元
  • 批准年份：
    2010
  • 负责人：
    霍聪德
  • 依托单位：
    西北师范大学
基于Support Vector Machines（SVMs)算法的智能型期权定价模型的研究
  • 批准号：
    70501008
  • 项目类别：
    青年科学基金项目
  • 资助金额：
    17.0万元
  • 批准年份：
    2005
  • 负责人：
    曹丽娟
  • 依托单位：
    复旦大学