TY - 计算机科学与探索 A1 - 杜 珊+ T1 - NExtK4中濒表格逻辑研究回顾 Y1 - 2010-12-01 JF - 计算机科学与探索 JO - 计算机科学与探索 SP - 1131 EP - 1146 VL - 4 IS - 12 UR - http://fcst.ceaj.org N1 - 10.3778/j.issn.1673-9418.2010.12.008 ER -