WEKO3
-
RootNode
アイテム
記号操作と定理の機械的証明 (LISPに関する綜合報告)
https://ipsj.ixsq.nii.ac.jp/records/237690
https://ipsj.ixsq.nii.ac.jp/records/2376906e713a69-00b5-4872-86f0-2a50bd8c5430
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
WPRO1962E04.pdf (26.0 MB)
|
|
|
| オープンアクセス | ||
| Item type | Symposium(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 1962-01-08 | |||||||
| タイトル | ||||||||
| タイトル | 記号操作と定理の機械的証明 (LISPに関する綜合報告) | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||
| 資源タイプ | conference paper | |||||||
| 著者所属 | ||||||||
| 電気通信研究所電子応用研究室 | ||||||||
| 著者名 |
高須, 達
× 高須, 達
|
|||||||
| 書誌情報 |
第3回プログラミング—シンポジウム報告集 巻 1962, p. E-43-E-62, 発行日 1962-01-08 |
|||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
