首页
产品
黄页
商标
征信
会员服务
注册
登录
全部
|
企业名
|
法人/股东/高管
|
品牌/产品
|
地址
|
经营范围
发明名称
MODAL LOGIC THEOREM CERTIFYING METHOD
摘要
申请公布号
JPH07175658(A)
申请公布日期
1995.07.14
申请号
JP19930320424
申请日期
1993.12.20
申请人
NIPPON TELEGR & TELEPH CORP <NTT>
发明人
AKAHANI JIYUNICHI
分类号
G06F9/44;G06N5/04;(IPC1-7):G06F9/44
主分类号
G06F9/44
代理机构
代理人
主权项
地址
您可能感兴趣的专利
CHIUSURA DI SICUREZZA CON LEVA A BASCULA PERFORANTE VERSO L'INTERNO PE R FLACONI MULTIDOSI AD USO MEDICINALE E VARI
PENDOLO MOLTIPLICATORE DI VELOCITA'.
PHOSPHORIC ACID FUEL CELL PLANT
SILICON SURFACE OXIDATION
PRODUCTION OF PHENYL HYDROQUINONE
NEW OLIGOSACCHARIDE AND ITS PRODUCTION
PRODUCTION OF DIALKYLCARBONATE
ISDN TELEPHONE SET
PRODUCTION OF MAGNETIC RECORDING MEDIUM
SEALED LEAD-ACID BATTERY
FUZZY MEMBERSHIP FUNCTION IDENTIFICATION SYSTEM
INSTALLING DEVICE AND METHOD FOR ARMS TO BE LOADED
PYRIMIDINE DERIVATIVE AND HERBICIDE
LASER UNDERWATER COMMUNICATION EQUIPMENT
MULTI-TYPE AIR CONDITIONER
DRIVING METHOD FOR DC PLASMA DISPLAY
LIGHT EMITTING DIODE PROVIDED WITH DISPERSING CAP
TEST SYSTEM FOR DATA PROCESSOR
TRIBOELECTRIFYING MATERIAL
PICTURE TRANSMISSION SYSTEM