WEKO3
-
RootNode
アイテム
数学の証明のプログラム
https://ipsj.ixsq.nii.ac.jp/records/237749
https://ipsj.ixsq.nii.ac.jp/records/237749019db7c2-5fc4-4428-bfce-97088b395ddd
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
WPRO1964F02.pdf (770.8 kB)
|
|
|
| オープンアクセス | ||
| Item type | Symposium(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 1964-01-08 | |||||||
| タイトル | ||||||||
| タイトル | 数学の証明のプログラム | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||
| 資源タイプ | conference paper | |||||||
| 著者所属 | ||||||||
| 立大理 | ||||||||
| 著者名 |
島内, 剛一
× 島内, 剛一
|
|||||||
| 書誌情報 |
第5回プログラミング—シンポジウム報告集 巻 1964, p. F-5-F-5, 発行日 1964-01-08 |
|||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
