...
Equational logicnominal setsname bindingalpha-conversionnominal signatures;
机译:标称(通用)代数:具有名称和绑定的方程式逻辑
机译:许可标称逻辑:标称项和集合的一阶逻辑
机译:名义逻辑,名称和绑定的一阶理论
机译:名义逻辑:名称和绑定的一阶理论
机译:简·布丹丹(JEAN BURIDAN)论科学的分类(术语,名词,逻辑)。
机译:用ANIMO建模:在模糊逻辑和微分方程之间
机译:名义方程逻辑中的绑定