|
|||||
|
|
| 计算机科学与逻辑学术讨论会顺利召开 | |
| 作者单位： | 计算机理论与程序理论学组 |
| 摘 要： | 由计算机学会直属计算机理论学组与软件分会程序理论学组举办的计算机科学与逻辑学术讨论会于1989年12月12日——15日在汕头大学与厦门大学举行。参加此次会议的代表有95名,在会上宣读与交流论文71篇。此次会议是我国计算机科学工作者与数理逻辑工作者首次聚会共同探讨计算机科学中的逻辑问题的一 |
| 本文献已被 CNKI 等数据库收录！ | |
|
||||||||||||
|
||||||||||||
|
||||||||||||
|
|
|
|
| 设为首页 | 免责声明 | 关于勤云 | 加入收藏 |
|
Copyright©北京勤云科技发展有限公司 京ICP备09084417号 |