线性演绎相关硕士博士期刊学术论文 - 搜论网

线性演绎相关论文

RLD演绎及子句蕴含与子句包含关系的非等价性

软件复用的一个主要任务是可复用软件构件的表示与检索. 由于一阶逻辑能够描述软件构件的计算语义,因此用一阶逻辑表示构件及用基......

期刊

RLD演绎子句蕴含子句包含非等价性软件工程构件表示构件检索线性演绎软件复用 component representation componen

看过本文同时还关注