非標準理論とその応用:直観主義論理と型理論 - 文献詳細 - Ceek.jp Altmetrics

1 0 0 0 OA 非標準理論とその応用:直観主義論理と型理論

著者: 桜井貴文
雑誌: 情報処理
巻号頁・発行日: vol.30, no.6, 1989-06-15

2023-09-15 23:21:27
1 + 0 Twitter

http://id.nii.ac.jp/1001/00005048/

言及状況

Twitter (1 users, 1 posts, 0 favorites)

https://t.co/ugEfxz8ppe

収集済み URL リスト

https://ipsj.ixsq.nii.ac.jp/ej/?action=repository_action_common_download&item_id=5048&item_no=1&attribute_id=1&file_no=1 (1)