PROVING METHOD FOR ASPECT LOGIC THEOREM,申请号JP19940231780-传众专利搜索

首页产品黄页商标征信

会员服务注册登录

法人/股东/高管

发明名称	PROVING METHOD FOR ASPECT LOGIC THEOREM
摘要
申请公布号	JPH0895790(A)	申请公布日期	1996.04.12
申请号	JP19940231780	申请日期	1994.09.27
申请人	NIPPON TELEGR & TELEPH CORP <NTT>	发明人	AKAHANI JIYUNICHI
分类号	G06F9/44;G06N5/04;(IPC1-7):G06F9/44	主分类号	G06F9/44
代理机构		代理人
主权项
地址

您可能感兴趣的专利

VERFAHREN ZUR VERBESSERTEN BILDERZEUGUNG UND PHOTODYNAMISCHEN THERAPIE

SYSTEMS AND METHODS FOR DIMMING A FIRST PACKET ASSOCIATED WITH A FIRST BIT RATE TO A SECOND PACKET ASSOCIATED WITH A SECOND BIT RATE

EINDRINGUNGSBESTÄNDIGE GLASLAMINATE

METHOD OF SCHEDULING MESSAGE DELIVERY IN A WIRELESS COMMUNICATION SYSTEM

VACUUM ATTACHMENT FOR A VACUUM CLEANER

DEVICE FOR DELIVERING BONE CEMENT PRECURSORS, COMPOSITES THEREOF, SUPPORTING MEMBERS, AND METHODS OF USING THE SAME

PROCESS FOR THE PRODUCTION OF CHLORINE DIOXIDE

METHOD FOR SUPPORTING FILE VERSIONING IN MBMS FILE REPAIR

SUSTAINED RELEASE ORAL DOSAGE FORMS OF A PRODRUG OF R-BACLOFEN AND METHODS OF TREATMENT

DETECTION OF SUB-CELLULAR COMPARTMENT LOCALIZATION OF A MOLECULE USING A REDUCED AFFINITY ENZYME COMPLEMENTATION REPORTER SYSTEM

SYSTEM AND METHOD FOR COMMUNICATING STATUS INFORMATION

ADJUSTABLE DRIVE AXLE FOR A LAWN MOWER, CHASSIS FOR A LAWN MOWER, METHOD OF ASSEMBLING A LAWN MOWER AND FOR ADJUSTING THE DRIVE AXLE

REAR SEAT ENTERTAINMENT SYSTEM FOR A VEHICLE HAVING AN ACTIVE HEADREST

SYSTEM AND METHOD FOR FERTILIZER SELECTION

BICYCLIC SPIROPIPERIDINE BETA-SECRETASE INHIBITORS FOR THE TREATMENT OF ALZHEIMER'S DISEASE

PARTICIPANT RESPONSE SYSTEM EMPLOYING GRAPHICAL RESPONSE DATA ANALYSIS TOOL

METHOD OF TREATING MULTIDRUG RESISTANT CANCERS

HETEROARYL-SUBSTITUTED SERINEAMIDES

Stützinstallation