...
机译:通过逻辑诱拐诊断和纠正源代码中的设计不一致
Universite catholique de Louvain, Place Sainte Barbe 2, 1348 Louvain-la-Neuve, Belgium;
Vrije Universheit Brussel, Pleinlaan 2, 1050 Brussels, Belgium;
Vrije Universheit Brussel, Pleinlaan 2, 1050 Brussels, Belgium;
Universite catholique de Louvain, Place Sainte Barbe 2, 1348 Louvain-la-Neuve, Belgium;
Universite catholique de Louvain, Place Sainte Barbe 2, 1348 Louvain-la-Neuve, Belgium;
Vrije Universheit Brussel, Pleinlaan 2, 1050 Brussels, Belgium;
inconsistency management; abductive reasoning; logic meta programming;
机译:KC60编码:有改进的余地–研究使用诊断代码的一致性和不一致性
机译:KC60编码:有改进的余地-对使用诊断代码的一致性和不一致性进行研究。
机译:关于大型源字母表的近乎最佳变量纠错码的设计
机译:频谱重叠资源管理的纠错码设计准则
机译:高效的解码器设计,用于纠错码。
机译:计算机代码理解与前景网络中的正式逻辑推断共享神经资源
机译:使用逻辑绑定诊断和纠正源代码中的设计不一致
机译:Reed-solomon码的变换译码。第二卷。逻辑设计与实现。