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
Contents 
Copyright © Fri Mar 12 17:17:46 2010
by Michael Ley (ley@uni-trier.de)
