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. North-Holland 1992 IFIP Transactions A-19 ISBN 0-444-89876-X [ contents ]
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-16T203152 by the dblp team