Ceek.jp Altmetrics (α ver.)
文献ランキング
合計
1ヶ月間
1週間
1日間
文献カレンダー
新着文献
すべて
2 Users
5 Users
10 Users
新着投稿
Yahoo!知恵袋
レファレンス協同データベース
教えて!goo
はてなブックマーク
OKWave
Twitter
Wikipedia
検索
ウェブ検索
ニュース検索
ホーム
文献一覧: Makoto Tatsuta (著者)
2件
14
0
0
0
型理論-1- (関数型プログラミングと計算の基礎<特集>)
著者
竜田 真
Makoto Tatsuta
東北大学電気通信研究所
出版者
日本ソフトウェア科学会
雑誌
コンピュ-タソフトウェア
(
ISSN:02896540
)
巻号頁・発行日
vol.8, no.1, pp.p25-33, 1991-01
被引用文献数
3
11
0
0
0
型理論-2-
著者
竜田 真
Makoto Tatsuta
東北大学電気通信研究所
出版者
日本ソフトウェア科学会
雑誌
コンピュ-タソフトウェア
(
ISSN:02896540
)
巻号頁・発行日
vol.8, no.2, pp.p136-142, 1991-03
被引用文献数
2