作者投稿和查稿 主编审稿 专家审稿 编委审稿 远程编辑
β-PSML语言的推理及应用
苏依拉;郑磊;刘椿年;钟宁;
Reasoning and Applications of β-PSML
SU Yila1,2,ZHENG Lei1,LIU Chunnian1,ZHONG Ning3,LIU Jiming4
. 2005, (23): 156 .