WEKO3
アイテム
Logical Program SynthesisのImplementation (Pilot 1)について
http://hdl.handle.net/10965/00003665
http://hdl.handle.net/10965/00003665ba4264b3-20ec-483b-a887-43a9e5b5ac57
| Item type | [ELS]紀要論文 / Departmental Bulletin Paper(1) | |||||
|---|---|---|---|---|---|---|
| 公開日 | 2018-01-29 | |||||
| タイトル | ||||||
| タイトル | Logical Program SynthesisのImplementation (Pilot 1)について | |||||
| タイトル | ||||||
| タイトル | On the Implementation of Logical Program Synthesis (Pilot 1) | |||||
| 言語 | en | |||||
| 言語 | ||||||
| 言語 | jpn | |||||
| 資源タイプ | ||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||
| 資源タイプ | departmental bulletin paper | |||||
| アクセス権 | ||||||
| アクセス権 | metadata only access | |||||
| アクセス権URI | http://purl.org/coar/access_right/c_14cb | |||||
| 雑誌書誌ID | ||||||
| 収録物識別子タイプ | NCID | |||||
| 収録物識別子 | AN00060178 | |||||
| ページ属性 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | P | |||||
| 論文名よみ | ||||||
| その他のタイトル | Logical Program Synthesis ノ Implementation (Pilot 1) ニツイテ | |||||
| 著者 |
大村, 伸一
× 大村, 伸一× 琴野, 実× 宮沢, 君江× 謝, 章文 |
|||||
| 著者所属(日) | ||||||
| 値 | 京都産業大学計算機科学研究所 | |||||
| 書誌情報 |
京都産業大学論集. 自然科学系列 en : ACTA HUMANISTICA ET SCIENTIFICA UNIVERSITATIS SANGIO KYOTIENSIS : NATURAL SCIENCE SERIES 巻 8, p. 347-364, 発行日 1978-09 |
|||||
| 表示順 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | 23 | |||||
| アクセション番号 | ||||||
| 内容記述タイプ | Other | |||||
| 内容記述 | KJ00000305315 | |||||
| ISSN | ||||||
| 収録物識別子タイプ | ISSN | |||||
| 収録物識別子 | 0287-9743 | |||||
