WEKO3
-
RootNode
アイテム
証明のプログラミング
https://ipsj.ixsq.nii.ac.jp/records/237720
https://ipsj.ixsq.nii.ac.jp/records/237720a9d6402a-cedc-41c7-9f10-add0f987cd5c
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
WPRO1963E04.pdf (4.7 MB)
|
|
|
| オープンアクセス | ||
| Item type | Symposium(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 1963-01-09 | |||||||
| タイトル | ||||||||
| タイトル | 証明のプログラミング | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||
| 資源タイプ | conference paper | |||||||
| 著者所属 | ||||||||
| 法政大 | ||||||||
| 著者名 |
西村, 敏男
× 西村, 敏男
|
|||||||
| 書誌情報 |
第4回プログラミング—シンポジウム報告集 巻 1963, p. E-44-E-45, 発行日 1963-01-09 |
|||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
