Department of Computer Science, University of Kentucky, Lexington, KY 40506, USA;
Institut fuer Informationssysteme 184/2, Technische Universitaet Wien, Favoritenstrasse 9-11,A-1040 Vienna, Austria;
机译:用于模块化编程的逻辑程序的相对超等价
机译:逻辑程序相对于支持模型的超等价
机译:逻辑门控模块化纳米囊泡可实现按需化疗的可编程药物释放
机译:对模块化编程的逻辑计划的依赖性超值
机译:可编程LIM:在内存中的逻辑模块化和可重新配置方法
机译:逻辑门控模块化纳米囊泡可实现按需化疗的可编程药物释放
机译:用于模块化编程的逻辑程序的相对超等效性
机译:用于逻辑和纯prolog程序的模块化终止证明