theorems which are statements about the program inferred from the axioms.
定理（theorems）由公理推论得到的关于程序的陈述。
They are intended to convey information about the program to other programmers.
一般用来告诉其他程序员有关这段程序的信息。
Next, use the info command to list information about the program you're exploring (see Listing 6).
下一步，使用info命令来列出有关您所研究的程序的信息(请参见清单6)。
Because Google runs it, you also don't need to worry about the program closing down anytime soon.
因为这个是google在运营的，所以你不必担心哪天突然关闭了。
Since its inception, delegations from more than 20 countries have visited Colombia to learn about the program.
规划实施以来，20多个国家的代表团访问了哥伦比亚，了解该规划内容和实施情况。
I'd like to discuss with you about the program in which we build a joint venture.
我想同你讨论一下我们合作建合资企业的计划。
This paper introduced the components, functions, analysis method and programming steps about the program.
详细介绍了计算机分析程序的组成、功能、分析方法和实现步骤。
The site contains information about the program as well as a descriptions of our internship positions and link to apply.
网站包含了这一计划的信息，以及对实习职位的描述与申请链接。
This is the class used to store information about the program such as a short description, authors or license information.
这个类被用来保存关于程序的各种信息，如功能的简单描述、作者和版权信息等。
After observing the center and learning about the program, you will know in your heart if it is the right place for your child to be.
通过对学后托管中心的全面考察以及对相关项目的了解，你就会从内心确定那里是否是您孩子所需要的地方。
Representatives from Vietnam, the Philippines, and Indonesia will hear about the program first-hand this week at a presentation in Singapore.
越南、菲律宾和印度尼西亚的代表将于本周在新加坡的一个介绍会上直接听取对这个方案的介绍。
In addition, the publicity about the program will encourage more people to adopt pets from the shelter, which will reduce the risk of heart disease in the general population.
而且，对于这一计划的宣传将鼓励更多的人从收养所领养宠物，这将减少整体人群患心脏病的危险。
There are many ways to go about debugging, such as printing out messages to the screen, using a debugger, or just thinking about the program execution and making an educated guess about the problem.
进行调试有很多种方法，比如将消息打印到屏幕上、使用调试器，或只是考虑程序执行的情况并仔细地揣摩问题所在。
There are many ways to go about debugging, such as printing out messages to the screen, using a debugger, or just thinking about the program execution and making an educated guess about the problem.
进行调试有很多种方法，比如将消息打印到屏幕上、使用调试器，或只是考虑程序执行的情况并仔细地揣摩问题所在。
应用推荐