发明名称 CERTIFICATION DEVICE FOR TENSE PROPOSITION LOGIC
摘要
申请公布号 JPH01175636(A) 申请公布日期 1989.07.12
申请号 JP19870332458 申请日期 1987.12.30
申请人 TOSHIBA CORP 发明人 KAWADA HIDEJI;UCHIHIRA NAOSHI
分类号 G06F9/44 主分类号 G06F9/44
代理机构 代理人
主权项
地址