机译:具有线性逻辑约束的并行逻辑编程语言的设计与实现
机译:具有线性逻辑约束的并行逻辑编程语言的设计与实现
机译:构建基于约束的空间数据库系统:模型,语言和实现
机译:约束逻辑编程的替代方法,用于在Prolog专家系统中管理域算术
机译:扩展的编程和设计:一种语言和工具集,用于在开发复杂的软件系统时集成需求,体系结构,设计和实现。
机译:卫生系统限制了南非预防母婴艾滋病毒传播计划的最佳覆盖面:实施国家试点计划的经验教训
机译:在Prolog(SICStus)中实现的P-fast信息提取系统