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.

Remote Storage