第九届国际自动演绎会议：美国伊利诺伊州阿贡，1988 年 5 月 23 日至 26 日 电子书下载

原名:9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23–26, 1988 Proceedings
作品简介:本书包含 5 月 23 日至 26 日在伊利诺伊州阿贡国家实验室举行的第九届自动演绎国际会议 (CADE-9) 上发表的论文。这次会议纪念解决原则发现二十五周年，……