Department of Computer Science, FernUniversitaet in Hagen, 58084 Hagen, Germany;
Department of Computer Science, FernUniversitaet in Hagen, 58084 Hagen, Germany;
机译:一种从实时软件组件实现可编程逻辑控制器的方法
机译:具有线性逻辑约束的并行逻辑编程语言的设计与实现
机译:具有线性逻辑约束的并行逻辑编程语言的设计与实现
机译:功能编程语言的逻辑编程实现
机译:严格支持高级编程语言中浮点运算的IEEE标准的严格框架。
机译:一种使用QCA实现具有成本效益的算术逻辑电路的新型可逆逻辑门及其系统方法
机译:用函数式编程语言实现分布式实时控制系统
机译:功能和逻辑编程语言的融合