WEKO3
アイテム
論理型言語による論理設計支援システム
https://ipsj.ixsq.nii.ac.jp/records/28455
https://ipsj.ixsq.nii.ac.jp/records/28455978bae8e-5971-450a-add8-b968eb00487e
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-SLDM85028004.pdf (988.9 kB)
|
Copyright (c) 1985 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 1985-09-17 | |||||||
| タイトル | ||||||||
| タイトル | 論理型言語による論理設計支援システム | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | Logic Design Support System in a Logic Programming Language | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
| 資源タイプ | technical report | |||||||
| 著者所属 | ||||||||
| 富士通株式会社 | ||||||||
| 著者所属 | ||||||||
| 富士通株式会社 | ||||||||
| 著者所属 | ||||||||
| 富士通株式会社 | ||||||||
| 著者所属 | ||||||||
| 富士通株式会社 | ||||||||
| 著者所属 | ||||||||
| 富士通株式会社 | ||||||||
| 著者所属 | ||||||||
| 富士通株式会社 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| FUJITSU LTD. | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| FUJITSU LTD. | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| FUJITSU LTD. | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| FUJITSU LTD. | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| FUJITSU LTD. | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| FUJITSU LTD. | ||||||||
| 著者名 |
林, 一司
丸山, 文宏
真野, 民男
角田多苗子
川戸, 信明
上原, 貴夫
× 林, 一司 丸山, 文宏 真野, 民男 角田多苗子 川戸, 信明 上原, 貴夫
|
|||||||
| 著者名(英) |
Kazushi, Hayashi
Fumihiro, Maruyama
Tamio, Mano
Taeko, Kakuda
Nobuaki, Kawato
Takao, Uehara
× Kazushi, Hayashi Fumihiro, Maruyama Tamio, Mano Taeko, Kakuda Nobuaki, Kawato Takao, Uehara
|
|||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AA11451459 | |||||||
| 書誌情報 |
情報処理学会研究報告システムLSI設計技術（SLDM） 巻 1985, 号 32(1985-SLDM-028), p. 29-37, 発行日 1985-09-17 |
|||||||
| Notice | ||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
