Ceek.jp Altmetrics (α ver.)
文献ランキング
合計
1ヶ月間
1週間
1日間
文献カレンダー
新着文献
すべて
2 Users
5 Users
10 Users
新着投稿
Yahoo!知恵袋
レファレンス協同データベース
教えて!goo
はてなブックマーク
OKWave
Twitter
Wikipedia
検索
ウェブ検索
ニュース検索
ホーム
文献一覧: 神戸大学工学部 (著者)
2件
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
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