WEKO3
アイテム
数学の証明の計算機による実施のためのプログラミング
https://ipsj.ixsq.nii.ac.jp/records/242303
https://ipsj.ixsq.nii.ac.jp/records/2423030da7feee-6597-4f2d-aa7a-a8df2f044e01
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
WPRO1960E03.pdf (6.1 MB)
|
|
|
| オープンアクセス | ||
| Item type | Symposium(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 1960-01-10 | |||||||
| タイトル | ||||||||
| タイトル | 数学の証明の計算機による実施のためのプログラミング | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||
| 資源タイプ | conference paper | |||||||
| 著者所属 | ||||||||
| 電気通信研究所 | ||||||||
| 著者名 |
高須, 達
× 高須, 達
|
|||||||
| 書誌情報 |
第1回プログラミング–シンポジウム報告集 巻 1960, p. 235-242, 発行日 1960-01-10 |
|||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
