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 © Wed Jul 23 16:14:07 2008
by Michael Ley (ley@uni-trier.de)
