...e);在量词辖域中出现的与指导变元相同的变元称为 约束变元 ( Bound Variable ),相应变元的出现称为约束出现(Bound Occurrence);除 约束变元 外的其它个体变元称为自由变元(Free Variable),相应变元的出现称为..
基于30个网页-相关网页
bound occurrence of a variable 变量的约束出现
·2,447,543篇论文数据,部分数据来源于NoteExpress
The occurrence and mineralization features of the gold deposits (prospects) in this region may be used to classify them into the strata bound, the magma bound, and the doubly bound types.
据该区金矿的产出特点和成矿特征,可将区内金矿床(点)划分为层控型、岩控型和双控型。
youdao
应用推荐
模块上移
模块下移
不移动