首页
期刊浏览
2025年01月22日 星期三
登录
注册
高级检索
专家检索
文章基本信息
标题：
Maude：書換え論理に基づく計算機言語および処理系
本地全文：
下载
作者：
緒方 和博
;
中村 正樹
;
二木 厚吉
等
期刊名称：
コンピュータ ソフトウェア
印刷版ISSN：
0289-6540
出版年度：
2008
卷号：
25
期号：
2
页码：
2_78-2_84
DOI：
10.11309/jssst.25.2_78
出版社：
Japan Society for Software Science and Technology
联系我们
|
关于我们
|
网站声明
国家哲学社会科学文献中心版权所有
