WEKO3
アイテム
LKの証明プログラミング
https://ipsj.ixsq.nii.ac.jp/records/242305
https://ipsj.ixsq.nii.ac.jp/records/2423058bcad50f-fad7-42a5-a927-4e53c744f3fa
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
WPRO1960E05.pdf (10.8 MB)
|
|
|
| オープンアクセス | ||
| Item type | Symposium(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 1960-01-10 | |||||||
| タイトル | ||||||||
| タイトル | LKの証明プログラミング | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||
| 資源タイプ | conference paper | |||||||
| 著者所属 | ||||||||
| 教育大 | ||||||||
| 著者名 |
島内, 剛一
× 島内, 剛一
|
|||||||
| 書誌情報 |
第1回プログラミング–シンポジウム報告集 巻 1960, p. 251-253, 発行日 1960-01-10 |
|||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
