您要查找的是不是：
- PVS is a verification system: that is, a specification language integrated with support tools and a theorem prover. PVS是一个确认系统：这就是说，它的语言综合了支持工具和一个定理证明器。
- The purpose of the thesis is to design and implement a COBOL program language integrated development environment based on client/sever architecture. 本文的研究目标是设计并实现一个基于客户/服务器结构的COBOL语言集成开发环境。
- CLIPS, an acronym for C Language Integrated Production System,was an Expert System development tools designed using the C programming language at NASA/JOHNSON Space Center. CLIPS是C Language Integrated Production System的缩写，它是美国航空航天局约翰逊太空中心用C语言设计的一个专家系统工具。
- Taking advantage of ES, This paper implements the changeable phases signal using CLIPS (C Language Integrated Production System) language which is one of ES tools. 利用专家系统的优势,本文用专家系统工具CLIPS(C Language Integrated Production System)对可变相位信号控制进行了实现。
- Language teaching is both a science and art. 语文教学既是一门科学又是一种艺术。
- Based on Client / Server computing model, and AI language integrated environment GKD-CSE, Automatic Conference Planning System GKD-SCHEDULS is built successfully. 基于Client/Server的计算模型,采用AI语音集成环境GKD-CSE。
- A new intelligent tutoring system (ITS) was developed for electrotechnics course on the basis of C language integrated production system (CLIPS) and internet. 摘要采用知识工程语言CLIPS研究、开发的电工学智能教学专家系统是基于互联网的新型专家系统。
- If a single Chinese character is considered from the perspectives of pictograph, ideograph and phonology, a Chinese character is a syllabic language integrating character with word. 从单个文字的形、音、意来考察汉字，汉字应是字、词一体的音节文字。
- Daily practice is the trick in learning a foreign language. 每天练习是学会一门外语的诀窍。
- One can not learn a language well unless one works hard. 学好一种语言非下苦功不可。
- The English language is allied to the German language. 英语和德语属于同一语系。
- The above language features help make querying data a first class programming concept. We call this overall querying programming model "LINQ" - which stands for .NET Language Integrated Query. 以上语言帮助将查询数据理解为一个类编程的理念。我们称这个总的查询编程模型为“LINQ”－－它指的是.;NET语言集合查询。
- Those series questions, such as: language relativism, not commensurability and the theory about language integrity are similar questions what the natural language philosophers have to face. 这样一些类似于语言相对主义、不可通约性和语言整体论的问题也是自然语言哲学家们所要面临的问题。
- Our language goes current along the seacoast. 我们的语言通用于沿海一带。
- I am no match for her when it comes to language. 在语言能力方面我根本不是她的对手。
- She has a good grasp of the English language. 她精通英语。
- The English language is not allied to the Chinese. 英语与汉语不属于同一语系。
- Language is often spoken of as a living organism. 语言常被当作一种活的有机体来讲。
- He set at his adversary in strong language. 他以强硬的语言抨击他的敌手。
- Music has been called the universal language. 人们称音乐为世界的语言。
