logo
Wrong email address or username
Wrong email address or username
Incorrect verification code
Automated Reasoning: Proceedings Of The Ifip Tc 12/Wg 12. 3 International Workshop On Automated Reasoning, Beijing, P. R. China, 13 16 July 1992 - Zhongzhi Shi
Add cover
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: (author)
Format: hardcover
ISBN: 9780444898760 (044489876X)
Publisher: North-Holland
Pages no: 341
Edition language: English
Bookstores:
Books by Zhongzhi Shi
Share this Book
Need help?