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

2 0 0 0 OA 依存型意味論における型チェックの実装の試み

著者
佐藤 未歩 戸次 大介
出版者
人工知能学会
雑誌
人工知能学会全国大会論文集 (ISSN:13479881)
巻号頁・発行日
vol.30, 2016

言及状況

Twitter (2 users, 2 posts, 0 favorites)

JSAI発表一本目「依存型意味論における型チェックの実装の試み」 https://t.co/fYp017vWW5
0

収集済み URL リスト