第二届国际代数方法和软件技术会议 (AMAST) 1991 年 5 月 22-24 日，爱荷华州爱荷华市-猫眼课题宝

第二届国际代数方法和软件技术会议 (AMAST) 1991 年 5 月 22-24 日，爱荷华州爱荷华市

批准号：

9014162

负责人：

Teodor Rus

金额：

$2.0万

依托单位：

University of Iowa

依托单位国家：

美国

项目类别：

Standard Grant

财政年份：

1990

资助国家：

美国

项目状态：

已结题

起止时间：

1990-10-01 至 1992-09-30

来源：

https://www.nsf.gov/awardsearch/showAward?AWD_ID=9014162&HistoricalAwards=false

关键词：

Second International Conference Algebraic Methodology

项目摘要

项目成果

Teodor Rus的其他基金

相似基金

相关文献

中文摘要

翻译

第二届AMAST会议的目标是巩固第一届AMAST会议期间国际对话所创造的趋势，朝着将代数方法转化为软件技术迈出新的一步。该计划是为代数学家、计算机科学家和软件开发人员提供一个论坛，他们能够追踪基于代数方法的计算机技术的进一步发展路线，并通过他们的软件产品展示代数方法的力量。

英文摘要

The goal of the second edition of the AMAST conference is to consolidate the trend created by the international dialogue during the first edition of the AMAST making a new step toward transforming algebraic methodology into software technology. The plan is to provide a forum for algebraists, computer scientists, and software developers who are capable of tracing the lines of further development in computer technology based on algebraic methodology and of demonstrating the power of the algebraic methodology by their software products.

期刊论文(0)

专著(0)

科研奖励(0)

会议论文