课题基金 / 基金详情

Mathematical Sciences: Southern Wisconsin Logic Colloquium

Mathematical Sciences: Southern Wisconsin Logic Colloquium
数学科学:威斯康星州南部逻辑研讨会
批准号:
9413458
负责人:
Steffen Lempp
金额:
$1.0万
依托单位国家:
美国
项目类别:
Standard Grant
财政年份:
1994
资助国家:
美国
项目状态:
已结题
起止时间:
1994-12-01 至 1997-11-30

项目摘要

项目成果

Steffen Lempp的其他基金

相似基金

相关文献

中文摘要
翻译
小行星9413458 南威斯康星州逻辑讨论会,现在在其第五个年头,仍然是最大的区域逻辑研讨会在该国之一,每隔一周举行一次会议,一个或两个讲座,并吸引了平均二十或三十名教师和研究生从威斯康星大学麦迪逊分校,马奎特大学(密尔沃基)、威斯康星大学帕克赛德分校(基诺沙)和威斯康星州中心岩县大学(简斯维尔)。 讲座代表了逻辑的整个范围,包括数理逻辑和应用于计算机科学,语言学和工业的逻辑的所有领域。 ***
英文摘要
9413458 Lempp The Southern Wisconsin Logic Colloquium, now in its fifth year, continues to be one of the largest regional logic seminars in the country, meeting every other week for one or two talks and attracting an average of twenty or thirty faculty and graduate students from the University of Wisconsin-Madison, Marquette University (Milwaukee), the University of Wisconsin-Parkside (Kenosha), and the University of Wisconsin Center-Rock County (Janesville). Talks represent the whole spectrum of logic, including all areas of mathematical logic and logic applied in computer science, linguistics, and industry. ***
期刊论文(0)
专著(0)
科研奖励(0)
会议论文
Computability Theory
  • 批准号:
    0555381
  • 项目类别:
    Continuing Grant
  • 资助金额:
    $0.0万
  • 财政年份:
    2006
  • 负责人:
    Steffen Lempp
  • 依托单位:
Computability Theory
  • 批准号:
    0140120
  • 项目类别:
    Standard Grant
  • 资助金额:
    $0.0万
  • 财政年份:
    2002
  • 负责人:
    Steffen Lempp
  • 依托单位:
Computability and Effective Constructions in Mathematics
  • 批准号:
    0075899
  • 项目类别:
    Standard Grant
  • 资助金额:
    $3.52万
  • 财政年份:
    2000
  • 负责人:
    Steffen Lempp
  • 依托单位:
Computability, Enumerability, Decidability and Definability
  • 批准号:
    9732526
  • 项目类别:
    Standard Grant
  • 资助金额:
    $9.66万
  • 财政年份:
    1998
  • 负责人:
    Steffen Lempp
  • 依托单位:
国内基金
海外基金
Handbook of the Mathematics of the Arts and Sciences的中文翻译
  • 批准号:
    12226504
  • 项目类别:
    数学天元基金项目
  • 资助金额:
    20.0万元
  • 批准年份:
    2022
  • 负责人:
    黄朝凌
  • 依托单位:
SCIENCE CHINA: Earth Sciences
Journal of Environmental Sciences
SCIENCE CHINA Information Sciences