TY - Computer Science A1 - SHI Hang, WANG Bao-shan and WU Mei-hua T1 - Distributive Law in Deduction Mechanism of Logic Y1 - 2018-12-01 JF - Computer Science JO - Computer Science SP - 21 EP - 24 VL - 43 IS - Z6 UR - https://www.jsjkx.com N1 - 10.11896/j.issn.1002-137X.2016.6A.003 ER -