文献一覧: 神戸大学工学部 (著者) - Ceek.jp Altmetrics

3 0 0 0 線形論理型言語のコンパイラ処理系のための抽象機械について

著者: 番原睦則姜京順田村直之 Mutsunori Banbara Kyoung-Sun Kang Naoyuki Tamura 奈良工業高等専門学校釜山外国語大学校(韓国)コンピュータ電子工学部コンピュータ工学科神戸大学工学部情報知能工学科 Nara National College of Technology Department of Computer Engineering Division of Electronic and Computer Engineering Pusan University of Foreign Studies Department of Computer and Systems Engineering Kobe University
出版者: 日本ソフトウェア科学会
雑誌: コンピュータソフトウェア (ISSN:02896540)
巻号頁・発行日: vol.18, no.1, pp.39-60, 2001-01-15
参考文献数: 29
被引用文献数: 4

2016-10-05 13:09:13
3 + 2 Twitter

https://ci.nii.ac.jp/naid/110003744069

1 0 0 0 IR 証明アニメーション支援環境の構築

著者: 住友亮翼林晋 Ryosuke Sumitomo Susumu Hayashi 神戸大学自然科学研究科神戸大学工学部 Graduate School of Science and Technology Kobe University Faculty of Engineering Kobe University
出版者: 日本ソフトウェア科学会
雑誌: コンピュータソフトウェア = Computer software (ISSN:02896540)
巻号頁・発行日: vol.16, no.3, pp.263-266, 1999-05-17
参考文献数: 10

2015-11-04 16:30:00
1 はてなブックマーク

https://ci.nii.ac.jp/naid/110003743269