Automated reasoning
Subtitle: proceedings of the IFIP TC 12/WG 12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 13-16 July 1992
By: edited by Z. Shi.
Contributors: Shi, Zhongzhi.
Series: IFIP transactions.; A-19
Publisher: North-Holland
Published: 1992
Place of publication: Amsterdam; New York
Language: eng
Number of pages: 341
Subjects: Automatic theorem proving -- Congresses.; Artificial intelligence -- Congresses.
Notes: Includes bibliographical references.