发明名称 LOGICALLY VERIFYING SYSTEM
摘要
申请公布号 JPH02294840(A) 申请公布日期 1990.12.05
申请号 JP19890117778 申请日期 1989.05.10
申请人 HOKURIKU NIPPON DENKI SOFTWARE KK 发明人 TOBINAGA SATOSHI
分类号 G06F11/25;G01R31/28;G06F11/26;G06F17/50 主分类号 G06F11/25
代理机构 代理人
主权项
地址