Automated reasoning : proceedings of the IFIP TC 12/WG 12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992 /

Bibliographic Details
Corporate Author:	IFIP TC 12/WG 12.3 International Workshop on Automated Reasoning Beijing, China
Other Authors:	Shi, Zhongzhi
Format:	Conference Proceeding Book
Language:	English
Published:	Amsterdam ; New York : North-Holland, 1992.
Series:	IFIP transactions. Computer science and technology. A-19.
Subjects:	Automatic theorem proving > Congresses. Artificial intelligence > Congresses.

Description
Physical Description:	xi, 341 pages : illustrations ; 23 cm.
Bibliography:	Includes bibliographical references.
ISBN:	044489876X (acid-free)
ISSN:	0926-5473 ;