发明名称 Method and a system for processing logic programs
摘要
申请公布号 US4931931(A) 申请公布日期 1990.06.05
申请号 US19870070818 申请日期 1987.07.02
申请人 EUROPEAN COMPUTER-INDUSTRY RESEARCH CENTRE GMBH 发明人 SYRE, JEAN-CLAUDE;WESTPHAL, HARALD;HAILPERIN, MAX
分类号 G06F9/44;G06F17/30 主分类号 G06F9/44
代理机构 代理人
主权项
地址