发明名称 AUTOMATIC PROVING METHOD.
摘要
申请公布号 EP0670069(A1) 申请公布日期 1995.09.06
申请号 EP19940927697 申请日期 1994.09.19
申请人 BULL S.A. 发明人 GOUBAULT, JEAN
分类号 G06F9/44;G06F17/50;G06N5/00;G06N5/04;(IPC1-7):G06F17/50 主分类号 G06F9/44
代理机构 代理人
主权项
地址