符号诊断及其形式化* Peter Lucas 乌得勒支计算机科学系 … 电子书下载

原名:Symbolic Diagnosis and its Formalisation* Peter Lucas Department of Computer Science, Utrecht …
作品简介:并对它们的形式化进行审查并提出正确的看法。缺陷或故障，以及问题的性质。电脑……