【英文标准名称】:InformationTechnology-ProgrammingLanguages-Prolog-Part2:Modules
【原文标准名称】:信息技术.程序设计语言.PROLOG.第2部分:模块
【标准号】:ANSI/INCITS/ISO/IEC13211-2-2000
【标准状态】:现行
【国别】:美国
【发布日期】:2000
【实施或试行日期】:
【发布单位】:美国国家标准学会(US-ANSI)
【起草单位】:ANSI
【标准类型】:()
【标准水平】:()
【中文主题词】:程序设计语言;数据处理;信息技术
【英文主题词】:Artificiallanguages;Compatibility;Computersoftware;Dataprocessing;Definition;Definitions;Generalconditions;Informationexchange;Informationtechnology;Programflows;Programminginstructions;Programminglanguages;Semantics;Syntax
【摘要】:ThispartofISO/IEC13211isdesignedtopromotetheapplicabilityandportabilityofPrologmodulesthatcontainPrologtextcomplyingwiththerequirementsoftheProgrammingLanguagePrologasspecifiedinthispartofISO/IEC13211.ThispartofISO/IEC13211specifies:a)TherepresentationofPrologtextthatconstitutesaPrologmodule,b)TheconstraintsthatshallbesatisfiedtopreparePrologmodulesforexecution,andc)Therequirements,restrictionsandlimitsimposedonaconformingPrologprocessorthatprocessesmodules.
【中国标准分类号】:L74
【国际标准分类号】:35_060
【页数】:
【正文语种】:英语
基本信息
| 标准名称： | 农药最大残留限量 氯丹 蔬菜
|
| 发布部门： | 中华人民共和国农业部 |
| 发布日期： | 2009-04-23 |
| 实施日期： | 2009-05-20 |
| 首发日期： | |
| 作废日期： | |
| 出版社： | 中国标准出版社 |
| 出版日期： | 2009-05-20 |
适用范围
没有内容
前言
没有内容
目录
没有内容
引用标准
没有内容
所属分类： 食品 食品发酵 酿造 调味品 食品技术 香料和调料 食品添加剂
【英文标准名称】:StandardSpecificationforAsphaltPrimerUsedinRoofing,Dampproofing,andWaterproofing
【原文标准名称】:用于屋顶,防潮处理和防水的沥青底漆标准规格
【标准号】:ASTMD41/D41M-2011
【标准状态】:现行
【国别】:
【发布日期】:2011
【实施或试行日期】:
【发布单位】:美国材料与试验协会(US-ASTM)
【起草单位】:D08.05
【标准类型】:(Specification)
【标准水平】:()
【中文主题词】:沥青;防潮;底漆;屋顶层;防水的;防潮和防水处理材料;防水材料/应用
【英文主题词】:asphalt;dampproofing;primer;roofing;waterproofing;Dampproofingandwaterproofingmaterials;Waterproofingmaterials/applications
【摘要】:1.1Thisspecificationcoversasphalticprimersuitableforusewithasphaltinroofing,dampproofing,andwaterproofingbeloworabovegroundlevel,forapplicationtoconcrete,masonry,metal,andasphaltsurfaces.1.2ThevaluesstatedineitherSIunitsorinch-poundunitsaretoberegardedseparatelyasstandard.Thevaluesstatedineachsystemmaynotbeexactequivalents;therefore,eachsystemshallbeusedindependentlyoftheother.Combiningvaluesfromthetwosystemsmayresultinnon-conformancewiththestandard.1.3Thisstandarddoesnotpurporttoaddressallofthesafetyconcerns,ifany,associatedwithitsuse.Itistheresponsibilityoftheuserofthisstandardtoestablishappropriatesafetyandhealthpracticesanddeterminetheapplicabilityofregulatorylimitationspriortouse.
【中国标准分类号】:Q17
【国际标准分类号】:91_060_20
【页数】:2P.;A4
【正文语种】: