首页
产品
黄页
商标
征信
会员服务
注册
登录
全部
|
企业名
|
法人/股东/高管
|
品牌/产品
|
地址
|
经营范围
发明名称
Method of Automated Proving for Unrestricted First-Order Logic
摘要
申请公布号
CA2133699(A1)
申请公布日期
1995.05.27
申请号
CA19942133699
申请日期
1994.10.05
申请人
BULL S.A.
发明人
BILLON, JEAN-PAUL
分类号
G06F9/44;G06N5/00;G06N5/04;(IPC1-7):G06F15/46;G06F15/18;G06F15/46
主分类号
G06F9/44
代理机构
代理人
主权项
地址
您可能感兴趣的专利
DISCHARGE LIGHT SOURCE WITH ELECTRON BEAM EXCITATION
ULTRASONIC IMAGING SOFTWARE AND HARDWARE PACK
LUBRICANT RETENTION ASSEMBLY
Disposição em carro plataforma
Calha de boleamento condicionadora para massas de panificação e similares, curva
Pufes empilháveis com sistema de encaixe
INRICHTING VOOR HET POSITIONEREN VAN EEN DEUR.
DISPERSION PHOTOSENSIBLE A VISCOSITE AJUSTABLE POUR LE DEPOT DE METAL SUR UN SUBSTRAT ISOLANT ET SON UTILISATION.
Conposição de creme barbear e método para barbear pele humana
Meio de impressão por jato de tinta
Composição para tratamento ou prevenção de infecção em plantas
Método e aparelho para a introdução de pó em uma bolsa
Caixa de embalagem, e, matriz
Tradução espacial de canal de áudio
Processo e equipamento para maximização de compressores
Compósito estrutural e respectivo processo de fabricação
Sistema de suspensão para carrinho de brinquedo
Tonel retrátil
Organizador de brocas
Processo para obtenção de válvula e válvula