Ceek.jp Altmetrics (α ver.)
  1. ホーム
  2. 文献詳細

1 0 0 0 OA 型理論

著者
林 晋
出版者
一般社団法人日本ソフトウェア科学会
雑誌
コンピュータソフトウェア (ISSN:02896540)
巻号頁・発行日
vol.5, no.1, pp.98-102, 1988-01-14

言及状況

Twitter (1 users, 1 posts, 5 favorites)

型理論 http://ci.nii.ac.jp/naid/110003743483
5 @gnue @akineko @goron @nobuhisa_k @wraith13

収集済み URL リスト