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
DBLP:
[Home | Search: Author, Title | Conferences | Journals]
Copyright © Tue Mar 11 20:36:06 2008
by Michael Ley (ley@uni-trier.de)