...
机译:迈向命令式模块:关于不变性和可变状态共享的推理
Program verification; Data abstraction; Alias control; Object invariants;
机译:迈向命令式模块:关于不变性和可变状态共享的推理
机译:利用可变智能蜜蜂和神经模糊系统回收达马万德电厂废热的热电模块的最佳布置
机译:投影不变子模块具有投影不变闭包的模块
机译:迈向命令式模块:关于不变性的推理和可变状态的共享
机译:局部紧凑群的Banach模块的模块映射和不变子集。
机译:基因共表达网络揭示浆液性卵巢癌的分期和等级预测共享模块
机译:走向命令式模块:关于不变性和可变状态共享的推理
机译:通过交互推理模型建立非经典推理模式