Automated Reasoning
Subtitle: Proceedings of the Ifip Tc 12/Wg12.3 International Workshop on Automated Reasoning Beijing, P.R. China, 13-16 July 1992 (Ifip T)
Publisher: North-Holland
Published: May 1993
Language: eng
Number of pages: 341
ISBN-13: 9780444898760