首页
期刊浏览
2024年11月25日 星期一
登录
注册
高级检索
专家检索
文章基本信息
标题:
定理証明技術のオブジェクト指向分析への適用
本地全文:
下载
作者:
青木 利晃 青木 利晃
;
立石 孝彰
;
片山 卓也
等
期刊名称:
コンピュータ ソフトウェア
印刷版ISSN:
0289-6540
出版年度:
2001
卷号:
18
期号:
4
页码:
416-445
DOI:
10.11309/jssst.18.416
出版社:
Japan Society for Software Science and Technology
联系我们
|
关于我们
|
网站声明
国家哲学社会科学文献中心版权所有