Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992

Zhongshi Shi Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992 IWAR IFIP Transactions A-19 North-Holland 1992 0-444-89876-X db/conf/iwar/iwar1992.html