Travel Support for American Attendees of the Dagstuhl Seminar on Deduction to be held in Germany from March 8-12, 1993
Travel Support for American Attendees of the Dagstuhl Seminar on Deduction to be held in Germany from March 8-12, 1993
批准号:
9312332
负责人:
Mark Stickel
金额:
$0.71万
依托单位:
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1993
资助国家:
美国
项目状态:
已结题
起止时间:
1993-04-01 至 1993-12-31
中文摘要
Dagstuhl研讨会美国与会者的旅行支持 1993年3月8日至12日,Dagstuhl,德国 这笔赠款支持美国研究人员前往 参加达格斯图尔的演绎法研讨会 研讨会将 汇集了来自世界各地的大约50名顶尖研究人员, 世界讨论最近的结果和未来的研究 方向 与会者将包括研究人员 代表德国国家减税计划, 最近成立了。
英文摘要
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.
期刊论文(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
-
依托单位:
Research on Automated Deduction
-
批准号:9408630
-
项目类别:Continuing Grant
-
资助金额:$15.29万
-
财政年份:1995
-
负责人:Mark Stickel
-
依托单位:
Travel Support for the l995 Dagstuhl Seminar on Deduction, March 20-24, l995, Dagstuhl Seminar Center, Wadern, Germany.
-
批准号:9500136
-
项目类别:Standard Grant
-
资助金额:$0.84万
-
财政年份:1995
-
负责人:Mark Stickel
-
依托单位:
Research in Automated Reasoning
-
批准号:8922330
-
项目类别:Continuing Grant
-
资助金额:$35.63万
-
财政年份:1990
-
负责人:Mark Stickel
-
依托单位:
A Prolog Technology Theorem Prover
-
批准号:8611116
-
项目类别:Continuing Grant
-
资助金额:$22.83万
-
财政年份:1987
-
负责人:Mark Stickel
-
依托单位:
国内基金
海外基金
两性离子载体(zwitterionic support)作为可溶性支载体在液相有机合成中的应用
-
批准号:21002080
-
项目类别:青年科学基金项目
-
资助金额:19.0万元
-
批准年份:2010
-
负责人:霍聪德
-
依托单位:
基于Support Vector Machines(SVMs)算法的智能型期权定价模型的研究
-
批准号:70501008
-
项目类别:青年科学基金项目
-
资助金额:17.0万元
-
批准年份:2005
-
负责人:曹丽娟
-
依托单位: