提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/ismis/RobertsonAHL93澳大利亚-罗伯逊，大卫·斯图亚特AU-Agustí-Cullell，JaumeAU-简·赫斯基AU-利维，约尔迪TI-使用精化格表示程序需求。BT-智能系统方法论，第七届国际研讨会，ISMIS’93，挪威特隆赫姆，1993年6月15日至18日，会议记录SP-245型EP-2541993年上半年//DO-2007年10月10日/3-540-56804-2_23UR-（欧元）https://doi.org/10.1007/3-540-56804-2_23呃-