WEKO3
アイテム
OL - resolutionにもとづく論理的プログラム合成系・Pilot II
https://ipsj.ixsq.nii.ac.jp/records/22761
https://ipsj.ixsq.nii.ac.jp/records/2276130d02978-97b9-41a7-8acd-984c55b78834
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-SE78009008.pdf (1.6 MB)
|
Copyright (c) 1979 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 1979-03-29 | |||||||
| タイトル | ||||||||
| タイトル | OL - resolutionにもとづく論理的プログラム合成系・Pilot II | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
| 資源タイプ | technical report | |||||||
| 著者所属 | ||||||||
| 京産大・理 | ||||||||
| 著者所属 | ||||||||
| 京産大・理 | ||||||||
| 著者所属 | ||||||||
| 京産大・理 | ||||||||
| 著者所属 | ||||||||
| 京産大・理 | ||||||||
| 著者所属 | ||||||||
| 京産大・計科研 | ||||||||
| 著者名 |
琴野実
× 琴野実
|
|||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN10112981 | |||||||
| 書誌情報 |
情報処理学会研究報告ソフトウェア工学（SE） 巻 1978, 号 49(1978-SE-009), p. 1-10, 発行日 1979-03-29 |
|||||||
| Notice | ||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
