NCID | DA07249991 |
名称(HDNG) | IFIP TC 12/WG 12.3 International Workshop on Automated Reasoning |
生没年(DATE) | 1992 |
から見よ(SF) | International Workshop on Automated Reasoning, IFIP TC 12/WG 12.3 Workshop on Automated Reasoning, IFIP TC 12/WG 12.3 International |
注記(NOTE) | Its Automated reasoning, 1993: CIP t.p. (IFIP TC 12/WG 12.3 International Workshop on Automated Reasoning, Beijing, P.R. China, 07/13-16/92) |
LCAID | 92113344 |