Algorithms; Digital simulation; Digital systems; Integrated systems; Logic devices; Cohesion; Data bases; Interfaces; Maintainability; Simulators; Time; User needs; Theses;
机译:具有线性逻辑约束的并行逻辑编程语言的设计与实现
机译:具有线性逻辑约束的并行逻辑编程语言的设计与实现
机译:用于图结构并发编程的线性逻辑编程语言
机译:具有交互式虚拟环境的构建器和模拟器程序,用于发现和设计逻辑数字电路
机译:并发和非并发逻辑程序的高级Petri网语义。
机译:使用约束逻辑程序协调当前使用的临床实践指南对
机译:具有线性逻辑约束的并行逻辑程序设计语言的设计与实现