作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑
一种含等词的分阶段tableau算法
刘全,孙吉贵,张永刚
An Algorithm for Two Separate Tableau with Equality
LIU Quan,SUN Jigui,ZHANG Yonggang
. 2003, (08): 48 .