Rewriting; Conservation; Specifications; Semantics; Theorems; Operations research;
机译:通过半胱氨酸扫描诱变大肠杆菌乳糖通透酶推导结合磷酸烯醇丙酮酸:糖磷酸转移酶系统IIAgic的蛋白质上的共有结合序列
机译:对流项的斜对称形式和可变密度低马赫数流的完全保守有限差分格式
机译:带有约束条件的操作保守性的替代表达
机译:术语重写与可变绑定:初始代数方法
机译:家庭购买长期护理保险的决定和相关的税收减免。
机译:通过半胱氨酸扫描诱变大肠杆菌乳糖通透酶推导结合磷酸烯醇丙酮酸:糖磷酸转移酶系统IIAGlc的蛋白质上的共有结合序列
机译:保守地看待具有可变绑定的操作语义
机译:无变量基本约束的自然演绎系统