Algebra; Conferences; Semantics; Forestry; Finite element analysis; Standards; Fuzzy systems;
机译:高阶逻辑程序的三值扩展语义的复杂性
机译:(基于星号的)三值Kripke式语义的伪和弱布尔逻辑
机译:逻辑程序员的三值语义
机译:三值逻辑和条件事件代数
机译:使用基于三值逻辑模型的调节和重新调节来优化异步管道的功率。
机译:基于可重构逻辑的新型低成本体系结构的实时代数导数估计
机译:高阶逻辑程序三价扩展语义的复杂性
机译:三值逻辑和条件事件代数