WEKO3
アイテム
数学の証明を行なうプログラム
https://ipsj.ixsq.nii.ac.jp/records/237841
https://ipsj.ixsq.nii.ac.jp/records/2378415901fa6e-4cb9-4640-b46e-2ae71133bd78
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
WPRO1967C23.pdf (13.0 MB)
|
|
|
| オープンアクセス | ||
| Item type | Symposium(1) | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 1967-01-11 | |||||||||
| タイトル | ||||||||||
| タイトル | 数学の証明を行なうプログラム | |||||||||
| 言語 | ||||||||||
| 言語 | jpn | |||||||||
| 資源タイプ | ||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||
| 資源タイプ | conference paper | |||||||||
| 著者所属 | ||||||||||
| 東京教育大応用数理 | ||||||||||
| 著者所属 | ||||||||||
| 東京教育大応用数理 | ||||||||||
| 著者名 |
西村, 敏男
× 西村, 敏男
× 伊大知, 紀子
|
|||||||||
| 書誌情報 |
第8回プログラミング—シンポジウム報告集 巻 1967, p. C-88-C-102, 発行日 1967-01-11 |
|||||||||
| 出版者 | ||||||||||
| 言語 | ja | |||||||||
| 出版者 | 情報処理学会 | |||||||||
