...
机译:FoCaL语言的不变量
Ecole Nationale Superieure d'Informatique pour l'Industrie et l'Entreprise,Centre de Recherche en Informatique du CNAM,1 place de la resistance, 91025 Evry, France;
specification and verification; theorem proving; algebraic specifications; effective mathematics; FoCaLize; data invariants;
机译:在更多对称下不变语言的回文丰富度
机译:语言在更多对称性下不变:重叠因素与回文丰富度
机译:常规树语言,基数谓词和加法不变式FO
机译:通过聚焦扫描进行运动不变成像
机译:针对英语学习者家庭的双语家庭扫盲计划:来自三个重点家庭的经验,观点和扫盲实践。
机译:语言代表的模式与预测和癫痫手术对局灶性障碍癫痫患儿语言重组的影响
机译:复合的语言不变方面:预测跨语言的复合含义
机译:怀俄明州西南部和中南部的sagebrush焦点地区,怀俄明州和熊河流域sagebrush重点地区,怀俄明州和犹他州的地质和矿产资源。爱达荷州,蒙大拿州,内华达州,俄勒冈州,犹他州和怀俄明州sagebrush焦点区的矿产资源E章。