提供商：Schloss Dagstuhl-莱布尼茨信息中心数据库：dblp计算机科学书目内容：文本/纯文本；charset=“utf-8”TY-CPAPER公司ID-DBLP:conf/taln/FortG08非盟-卡伦堡AU-纪尧姆，布鲁诺TI-Sylva：平台形式验证多个词汇。英国电信-《自然语言自动交易法》（Actes de la 15ème conférence sur le Traitement Automatique des Langues Naturelles）。物品法院，TALN 2008，法国阿维尼翁，2008年6月SP-51型第60页2008年上半年//UR-（欧元）https://aclantology.org/2008.jeptalnrecental-court.6/急诊室-