停止战争！

Остановите войну!

对于科学家：

默认搜索操作

组合dblp搜索
作者搜索
场馆搜索
出版物搜索

问别人

1994年第12届CADE：法国南希

>主页 >会议和研讨会 >CADE公司

优化列表

优化激活！

放大了??属于??记录

查看优化列表

导出优化列表为

显示全部 ??记录

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/1994年
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/1994
阿兰·邦迪:
自动扣除——CADE-12，第十二届自动扣除国际会议，法国南希，1994年6月26日至7月1日，会议记录。计算机科学讲义814,施普林格 1994，十亿3-540-58156-1

邀请的谈话

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Slaney公司94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Slaney94
约翰·斯莱尼:
有限数学的危机：作为因果关系的自动推理。 1-13

诱导的启发式

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Walsh94会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Walsh94
托比·沃尔什:
分歧评论家。 14-28
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Hutter94号
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Hutter94
迪特尔·赫特:
存在证明归纳序的合成。 29-41
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Protzen94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Protzen94
马丁·普罗岑:
归纳假设的懒惰生成。 42-56

分辨率系统实验

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Plasted94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Plasted94
大卫·A·普莱斯特:
定理证明策略的搜索效率。 57-71
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Bourely公司CP94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BourelyCP94
克里斯托夫·布雷利,里卡多·卡费拉,尼古拉斯·佩尔蒂埃:
一种自动建立模型的方法。OTTER扩展的实验。 72-86
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BaumgartnerF94会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BaumgartnerF94
鲍姆加特内,乌尔里希·富巴赫:
无矛盾的模型消除。 87-101

内隐归纳法与外显归纳法

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BronsardRH94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BronsardRH94
弗朗索瓦·布隆萨尔,Uday S.Reddy公司,罗伯特·哈斯克:
使用术语排序进行归纳。 102-117
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Chazarain公司K94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/ChazarainK94
雅克·查扎兰,伊曼纽尔·库纳利斯:
一类Forall存在公式的机械化归纳证明。 118-132
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Lysne94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Lysne94
奥拉夫·莱斯纳:
论狭义证明与一致性证明之间的联系。 133-147

归纳

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Paulson公司94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Paulson94
劳伦斯·保尔森:
实现（Co）归纳定义的定点方法。 148-161
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/WirthG94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/WirthG94
克劳斯·佩特·沃思,伯恩哈德·格拉姆利希:
第一阶等式从句的归纳有效性概念。 162-176
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Baker94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Baker94
西亚尼·贝克:
自动扣除中基于解释的概括的新应用程序。 177-191

控制分辨率的启发式方法

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/ChuP94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/ChuP94
Heng Chu公司,大卫·A·普莱斯特:
用超链接证明语义引导的一阶定理。 192-206
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/WaalG94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/WaalG94
D.安德烈·德瓦尔,约翰·加拉赫:
逻辑程序分析与转换在定理证明中的适用性。 207-221
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Bruning94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Bruning94
斯特凡·布吕宁:
检测无法实现的目标。 222-236

小组讨论

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Boyer94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Boyer94
罗伯特·博伊尔:
小组讨论：一本经过机械验证的数学百科全书：我们应该建立一本吗？我们可以吗？ 237
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/匿名94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Anonymous94
匿名的:
QED宣言。 238-251

ATP问题

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/SutcliffeSY94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/SutcliffeSY94
杰夫·萨特克利夫,克里斯蒂安·萨特纳,西奥多·也门:
TPTP问题库。 252-266

统一

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/DomenjoudKR94会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/DomenjoudKR94
埃里克·多曼祖德,弗朗西斯·克莱,克里斯托夫·林盖森:
非离散方程理论的组合技术。 267-281
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Salzer94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Salzer94
格诺·萨尔泽:
二元子句的基本语法和统一模。 282-295

逻辑编程应用

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Iwanuma94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Iwanuma94
岩沼浩二:
并行分界上的保守查询规范化。 296-310
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Fribourg P94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/FribourgP94
劳伦特·弗里堡,马科斯·贝洛索·佩克索托:
具有算术约束的数据日志程序的自底向上评估。 311-325
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/RoyerQ94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/RoyerQ94
维罗妮克·罗耶,约阿希姆·昆茨:
论描述库中的直觉式问答。 326-340

应用

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/StickelWLPU94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/StickelWLPU94
Mark E.Stickel公司,理查德·沃丁格,迈克尔·罗瑞,托马斯·普雷斯伯格,伊恩·安德伍德:
子程序库天文软件的演绎合成。 341-355
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/FarmerGNT94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/FarmerGNT94
威廉·M·法默,约书亚·D·古特曼,马克·纳达尔,F.哈维尔·塞耶:
IMPS中的校对脚本语用。 356-370
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/KerberK94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/KerberK94
曼弗雷德·科伯,迈克尔·科尔哈斯:
部分函数的强Kleene逻辑的机械化。 371-385

专用校准仪

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Wang94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Wang94
王东明:
代数因子分解和几何证明。 386-400
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/McPheeCG94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/McPheeCG94
尼古拉斯·弗雷塔格·麦克菲,尚庆周（Shang-Ching Chou）,小山高:
结合吴方法和柯林斯方法对几何定理进行机械证明。 401-415
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Hines94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Hines94
拉里·海因斯:
Str+ve和整数。 416-430

宴会演讲

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Platek94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Platek94
理查德·普拉泰克:
什么是证明？（摘要）。 431

邀请的谈话

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Martin94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Martin94
乌苏拉·马丁:
终止、几何和不变量。 432-434

重写规则终止

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BachmairG94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BachmairG94
利奥·巴赫迈尔,哈拉尔德·甘津格:
总订单的有序链接。 435-450
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/MiddeldorpZ94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/MiddeldorpZ94
阿尔特·米德尔多普,汉斯·赞特马:
重新审视简单终止。 451-465
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/盆地W94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BasinW94
大卫·A·巴思,托比·沃尔什:
开沟终止令。 466-483

ATP效率

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/SturgillS94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/SturgillS94
大卫·B·斯特吉尔,阿尔贝托·玛丽亚·塞格雷:
一种新的一阶逻辑异步并行方案。 484-498
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Goubault94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Goubault94
让·古堡:
BDD证明和信息控制。 499-513
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Graf94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Graf94
彼得·格拉夫:
扩展路径索引。 514-528

邀请的谈话

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Constable94号
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Constable94
罗伯特·康斯特布尔:
导出和引用抽象元数学。 529

AC统一

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Vigneron94号
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Vigneron94
劳伦特·维格纳龙:
带约束的关联交换演绎。 530-544
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/NieuwenhuisR94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/NieuwenhuisR94
罗伯特·尼文胡斯,阿尔伯特·鲁比奥:
带约束的AC-置换：不需要AC-Unifiers。 545-559
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/HermannK94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/HermannK94
米基·赫尔曼,Phokion G.Kolaitis公司:
赤道匹配中计数问题的复杂性。 560-574

高阶定理证明

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Anderson94会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Anderson94
佩尼·安德森:
表示程序优化的证明变换。 575-589
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/杰克森94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Jackson94网址
保罗·杰克逊:
在构造型理论中探索抽象代数。 590-604
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/FeltyH94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/FeltyH94
艾米·费尔蒂,道格拉斯·J·豪:
战术定理的精化树证明和元变量证明。 605-619

高阶统一

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/JohannK94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/JohannK94
帕特里夏·约翰,迈克尔·科尔哈斯:
具有有序函数排序和常数重载的扩展Lambda演算中的统一。 620-634
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Prehofer94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Prehofer94
克里斯蒂安·普雷霍弗:
可判定的高阶统一问题。 635-649
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/MullerW94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/MullerW94
奥拉夫·米勒,佛朗兹·韦伯:
最小模高阶E-统一的理论与实践。 650-664

一般统一

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Socher-Ambrosius公司94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Socher-Ambrosius94网址
罗尔夫·索切尔·阿姆布罗西乌斯:
通用电子统一的改进版。 665-677
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/贝克特94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Beckert94
伯恩哈德·贝克特:
一种基于完备性的通用和刚性E-统一混合方法。 678-692
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Bundgen94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Bundgen94
莱因哈德·邦根:
在锅，锅和布丁或如何发现一般的关键对。 693-707

自然系统

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/KlingenbeckH94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/KlingenbeckH94
斯特凡·克林根贝克,雷内·哈内尔:
带排序限制的语义表。 708-722
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Massacci94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Massacci94
法比奥·马萨奇:
标准模态逻辑的强分析表。 723-737
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Huang94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Huang94
黄晓荣:
断言级别的重构证明。 738-752

问题集

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/张94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/张94
张健（Jian Zhang）:
有限模型生成问题。 753-757
- 看法
  权限控制：
- 出口记录
  dblp键：
  - 康夫/卡德/克拉克Z94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/ClarkeZ94
埃德蒙·克拉克,赵旭东:
符号计算与定理证明相结合：Ramanujan的一些问题。 758-763

系统描述

- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/SlaneyLM94会议
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/SlaneyLM94
约翰·斯莱尼,尤因·L·卢斯克,威廉·麦库恩:
SCOTT：语义约束水獭系统描述。 764-768
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BaumgartnerF94a公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BaumgartnerF94a
鲍姆加特内,乌尔里希·富巴赫:
蛋白质：具有理论扩展接口的探针。 769-773
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Schumann94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Schumann94
约翰·舒曼:
DELTA-自下而上的自上而下定理证明程序预处理器-系统摘要。 774-777
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/GollerLMS94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/GollerLMS94
克里斯托夫·高尔勒,Reinhold Letz公司,克劳斯·迈尔,约翰·舒曼:
SETHEO V3.2：最新发展-系统摘要。 778-782
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BibelBER94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BibelBER94
沃尔夫冈·比贝尔,斯特凡·布吕宁,乌韦·埃格利,托马斯·拉思:
KoMeT公司。 783-787
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/HuangKKMNRS94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/HuangKKMNRS94
黄晓荣,曼弗雷德·科伯,迈克尔·科尔哈斯,艾丽卡·梅利斯,丹·内史密斯,约恩·里奇斯,约格·希克曼:
Omega-MKRP：一个验证开发环境。 788-792
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Beckert第94页
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BeckertP94
伯恩哈德·贝克特,约阿希姆·波塞加:
精益T^A类P：基于精益表的定理证明（扩展抽象）。 793-797
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Slaney94a公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Slaney94a网站
约翰·斯莱尼:
查找器：有限域枚举器-系统描述。 798-801
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Portoraro94号
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Portoraro94
弗雷德里克·波托拉罗:
Symlog：Fitch-style Proof构造中的自动建议。 802-806
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/黄KKMNRS94a
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/HuangKKMNRS94a
黄晓荣,曼弗雷德·科伯,迈克尔·科尔哈斯,艾丽卡·梅利斯,丹·内史密斯,约恩·里奇斯,约格·希克曼:
KEIM：自动扣除工具包。 807-810
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Pfenning94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Pfenning94
弗兰克·普芬宁:
精灵：演绎系统的元语言（系统描述）。 811-815
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/OhtaniSM94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/OhtaniSM94
大田武史,Hajime Sawamura先生,Toshiro Minami先生:
尤迪洛斯二世登上GNU时代之巅。 816-820
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Eriksson94公司
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Eriksson94
拉尔斯·亨利克·埃里克森:
Pi：部分归纳定义微积分的交互式派生编辑器。 821-825
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/RichardsKSW94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/RichardsKSW94
布拉德利·理查兹,伊娜·克拉恩,艾伦·斯梅尔,杰兰特·维金斯:
Mollusc:基于序列的逻辑的通用证明开发外壳。 826-830
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/WangG94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/WangG94
王铁成,艾伦·戈德伯格:
KITP-93：程序分析的自动推理系统。 831-835
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/Bouhoula94号
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/Bouhoula94
阿德尔·布胡拉:
SPIKE：充分完整性和参数化归纳证明系统。 836-840
- 看法
  权限控制：
- 出口记录
  dblp键：
  - conf/cade/BonacinaM94
- 问别人
- 股份记录
  持久URL：
  - https://dblp.org/rec/conf/cade/BonacinaM94
玛丽亚·保拉·博纳西纳,威廉·麦库恩:
同行们证明的分布式定理。 841-845

服务

管理网站设置

为了保护您的隐私，所有依赖浏览器外部API调用的功能都是默认情况下关闭。你需要选择加入，让他们变得活跃。此处的所有设置将在您的web浏览器中存储为cookie。有关更多信息查看我们的F.A.Q。