ID:DA07249991
International Workshop on Automated Reasoning, IFIP TC 12/WG 12.3
Workshop on Automated Reasoning, IFIP TC 12/WG 12.3 International
同姓同名の著者を検索
edited by Z. Shi
North-Holland 1992 IFIP transactions A . Computer science and technology ; 19
所蔵館15館
