dblp.uni-trier.de www.dagstuhl.de www.uni-trier.de

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 CiteSeerX Google scholar pubzone.org BibTeX bibliographical record in XML

Last update Sat May 18 19:11:58 2013 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page