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 BibTeX
Copyright © Sat May 16 23:27:07 2009
by Michael Ley (ley@uni-trier.de)
