论文部分内容阅读
形式语义学引论 公理语义学
【出 处】
:
计算机研究与发展
【发表日期】
:
1985年07期
其他文献