绝大多数情况下，这个小鸟图标只是变为黄色，告诉您不存在任何隐私策略，但在站点开始以机器可读的形式提供此类信息时，情况会有所变化。
In most cases, the bird will simply turn yellow to tell you that no privacy policy is in place, but that is changing as sites begin to provide this information in machine-readable form.
为了以机器可读的形式提供信息，机器需要了解在哪里找到信息。
In order to provide information in machine-readable form, the machine needs to know where to find the information.
几何定理证明的前推法能够产生传统形式的可读证明，在定理机器证明领域占有重要的地位。
The forward reasoning for geometry theorem proving can produce the traditional readable proving, thus plays a special role in the mechanical theorem proving.
应用推荐