ID:DA07249991
International Workshop on Automated Reasoning, IFIP TC 12/WG 12.3
Workshop on Automated Reasoning, IFIP TC 12/WG 12.3 International
Search authors sharing the same name
edited by Z. Shi
North-Holland 1992 IFIP transactions A . Computer science and technology ; 19
Available at 15 libraries