论文部分内容阅读
由计算机学会直属计算机理论学组与软件分会程序理论学组举办的计算机科学与逻辑学术讨论会于1989年12月12日——15日在汕头大学与厦门大学举行。参加此次会议的代表有95名,在会上宣读与交流论文71篇。此次会议是我国计算机科学工作者与数理逻辑工作者首次聚会共同探讨计算机科学中的逻辑问题的一
Computer Science and Logic Symposium organized by Computer Theory Group and Software Branch Program Theory Group directly under Computer Society was held at Shantou University and Xiamen University from December 12 to December 15, 1989. There were 95 delegates attending this meeting, 71 papers were read and exchanged at the conference. This meeting is the first meeting of Chinese computer science workers and mathematical logic workers to discuss the logic problems in computer science.