| 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 |