International Workshop on Automated Reasoning
IWAR 1992: Beijing, China
Zhongshi Shi (Ed.):
Automated Reasoning, Proceedings of the IFIP TC12/WG12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992.
IFIP Transactions A-19 North-Holland 1992, ISBN 0-444-89876-X
Last update Sat May 18 19:11:58 2013
CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page