亲属关系的逻辑意义及其自动推理

亲属关系的逻辑意义及其自动推理

陈振宇 ¹,袁毓林 ²,张秀松 ²,周强 ³

Logic meaning of kinship relations and kindred automatic reasoning

CHEN Zhen-yu ¹,YUAN Yu-lin ²,ZHANG Xiu-song ²,ZHOU Qiang ³

计算机工程与应用 . 2009, (16): 43 -47 . DOI: 10.3778/j.issn.1002-8331.2009.16.011