Automated Reasoning: Proceedings Of The Ifip Tc 12/Wg 12. 3 International Workshop On Automated Reasoning, Beijing, P. R. China, 13 16 July 1992
by:
Zhongzhi Shi (author)
Format: hardcover
ISBN:
9780444898760 (044489876X)
Publisher: North-Holland
Pages no: 341
Edition language: English