首页
产品
黄页
商标
征信
会员服务
注册
登录
全部
|
企业名
|
法人/股东/高管
|
品牌/产品
|
地址
|
经营范围
发明名称
Quantified boolean formula (QBF) solver
摘要
申请公布号
EP1681633(A3)
申请公布日期
2010.06.09
申请号
EP20050112489
申请日期
2005.12.20
申请人
MICROSOFT CORPORATION
发明人
ZHANG, LINTAO;YU, YUAN
分类号
G06F17/11
主分类号
G06F17/11
代理机构
代理人
主权项
地址
您可能感兴趣的专利
面料（140）
椅子（LA-861MH）
浴室柜(Z-963)
面料（157）
印花布（少女日记）
面料（293）
茶几(KT2-06b)
换鞋凳
相框（9）
玻璃模具（35）
床头(CH2502-1)
乳胶漆桶
酒具（夏日海滩女2）
遥控钥匙（HSLD838）
床上用品套件（方向感）
洗发水瓶
瓶子（内置通漏瓶子）
迷你电饭煲（B）
梳妆台（KA4-05）
吊滑轮（整体门窗吊滑轮）
