theorems which are statements about the program inferred from the axioms.
定理（theorems）由公理推论得到的关于程序的陈述。
They are intended to convey information about the program to other programmers.
一般用来告诉其他程序员有关这段程序的信息。
I'd like to discuss with you about the program in which we build a joint venture.
我想同你讨论一下我们合作建合资企业的计划。
People and community groups just read or heard about the program and stepped up to the plate.
人们和社区组织只是了解到有这一行动计划后便自发地慷慨解囊。
Refer to the attached source files for complete details about the program logic (see Download).
要了解完全的程序逻辑细节，请参阅所附的源文件(请参阅下载)。
Because Google runs it, you also don't need to worry about the program closing down anytime soon.
因为这个是google在运营的，所以你不必担心哪天突然关闭了。
For more information about the program, go to the main page and click on Private Sector Programs.
进入主页面，点击“私人计划”获得更多信息。
Next, use the info command to list information about the program you're exploring (see Listing 6).
下一步，使用info命令来列出有关您所研究的程序的信息(请参见清单6)。
If you have any question about the program, feel free to get contact with me via email or phone (2806).
如有任何疑问，请随时与我联系，回复邮件或者给我电话，分机号：2806。
This paper introduced the components, functions, analysis method and programming steps about the program.
详细介绍了计算机分析程序的组成、功能、分析方法和实现步骤。
We may not know and understand enough about the program to comfortably "commit" to the schedule at this point.
我们也许不知道也不能理解这个项目在这个时间点是是否与我们的时间表相符合。
Since its inception, delegations from more than 20 countries have visited Colombia to learn about the program.
规划实施以来，20多个国家的代表团访问了哥伦比亚，了解该规划内容和实施情况。
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.
这个类被用来保存关于程序的各种信息，如功能的简单描述、作者和版权信息等。
"Word has gotten out about the program," said Jean Blacklock, vice-president of wealth services at Canada's fourth-largest bank.
该银行的理财服务部副总监吉恩•布莱克洛克说：“有关开课的消息已经传出去。
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.
通过对学后托管中心的全面考察以及对相关项目的了解，你就会从内心确定那里是否是您孩子所需要的地方。
But as Carla Ferraro, the chief coordinator, explains, there is nothing particularly distinctive about the program or its circumstances.
但是主要协调人卡拉菲·拉罗解释，这个计画或环境没有特别特殊的地方。
Representatives from Vietnam, the Philippines, and Indonesia will hear about the program first-hand this week at a presentation in Singapore.
越南、菲律宾和印度尼西亚的代表将于本周在新加坡的一个介绍会上直接听取对这个方案的介绍。
You can use them to help you build and expand the coalition, spread the word about the program, and provide practice for newly trained facilitators.
你可以利用它们来帮助您建立和扩大联盟，传播有关计划，并为新成员提供练习机会。
Abraham and his wife had done the math and thought the family could afford it; he promised to take Walentin that Friday to learn more about the program.
亚伯拉罕和妻子已算计好了，家里还拿得出这笔钱；他答应威伦廷星期五带他去再了解一下这个课程。
The entries inspire unlikely authors, such as the Mexican man convicted of domestic violence who wrote from prison about the program he had started for other abusive men.
也有一些让人难以置信的提案者，比如一个因家庭暴力获罪的墨西哥男人从监狱里告诉我们，他做的一个项目是如何帮助和他类似的人的。
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.
进行调试有很多种方法，比如将消息打印到屏幕上、使用调试器，或只是考虑程序执行的情况并仔细地揣摩问题所在。
The concept has multiple forms, and scholars and policymakers argue about the shape, scope and cost of the ideal program.
这一概念有多种形式，学者和政策制定者对理想项目的框架、范围和成本存在争议。
The idea behind the program is to get the police officers out of their cars and into our neighborhoods where they can talk directly to merchants and residents about the real dynamics of our city.
这个项目背后的意图是让警员走出警车，走进我们的社区，直接与店主和居民交流，了解城市的真实动态。
About 250 students so far have gone through the program, which receives funding from the Jack Kent Cooke Foundation.
到目前为止，大约有250名学生参加过该项目，而该项目也得到了杰克·肯特·库克基金会的资助。
The concept of integrated rural transport is now well established in Tanzania, where a major program of rural transport is just about to start.
现如今，在坦桑尼亚，农村综合交通的观念已经深入人心，并且该国一个大型的农村交通项目也即将启动。
He is designed to teach a special program about environmental friendly power created by the sun and wind.
他被安排来教授一个关于太阳能和风能创造环保能源内容的特别课程。
The students of Southside School were asked to give their opinions about whether the school should run an athletic program or start a vegetable garden.
南城学校的学生们被要求就学校是否应该开办一个体育项目或开设一个菜园发表他们的意见。
The students of Southside School were asked to give their opinions about whether the school should run an athletic program or start a vegetable garden.
南城学校的学生们被要求就学校是否应该开办一个体育项目或开设一个菜园发表他们的意见。
应用推荐