您要查找的是不是：
- Types for Proofs and Programs 证明与程序的类型
- Letouzey P.A New Extraction for Coq.Types for Proofs and Programs,Second InternationalWorkshop.Springer-Verlag,2003 蒋慧;林东;孙泉;谢希仁.;构造类型论与计算机程序设计
- This paper describes TML, a metalanguage intended for proof development and program design environments. 本文在简介证明开发环境的元语言TML之后，提出两类结构化设施；
- Data types for working with date and time data. 介绍使用日期和时间数据的。
- Select process and a code type for debugging. 选择用于调试的进程和代码类型。
- He has raked all history for proofs. 他在全历史中找寻证据。
- Change the controller types for position and rotation to TCB. 改变控制器类型的立场和轮换，以三氯苯。
- Standard and accepted procedures in programs and systems analysis. The abbreviations, symbols, and their meanings developed for particular systems and programs. 在程序和系统分析中，所采用的各种标准和约定，包括为特定的系统和程序所制定的缩写字、符号及其含义。
- I.Lakatos, Proofs and Refutations. 拉卡托斯，证明和反驳。
- The policeman ask him for proof of identification. 警察要求他拿出身份证明。
- We also arrange for daily activities and programs for little ones. 我们还安排每天的活动和节目的小朋友。
- For proof, it is enough to read Gregory of Tours. 只消读一读图尔的格雷戈里的作品，就可以相信这点了。
- A type for AC fault currents and pulsating DC fault currents. 用于交流和直流脉动故障电流。
- The police asked her for proof of identity. 警察要她出示身份证明。
- Knowledge in waterproof, dust proof and sealing. 具有防水、防尘和密封方面的知识。
- You can choose the icon and program group for your connection. 您可以为连接选择图标和程序组。
- While these in addition to the product release show, there are many more display, such as site operation machines, machines for proofing and so on. 而这类宣传除了产品发布秀之外，还有更多的展示方法，例如现场操作机器，利用机器进行打样等。
- Reproduction proof A proof taken from type for subsequent reproduction. 复制用稿样从活字版上压印所得的稿样,作随从的复制工序用。
- ESD proof and anti high temperature material. 国外进口防静电高温材料。
- The work has been kept in type for nearly a year. 这部著作已经排好版将近一年了。
