WEKO3
-
RootNode
アイテム
抽象データタイプの代数的仕様記述法の基礎（1）：多ソート代数と等式論理
https://ipsj.ixsq.nii.ac.jp/records/6089
https://ipsj.ixsq.nii.ac.jp/records/60893ee9bbb1-29e5-4882-986d-b5391316283a
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-MGN250109 (684.3 kB)
|
Copyright (c) 1984 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | Magazine(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 1984-01-15 | |||||||
| タイトル | ||||||||
| タイトル | 抽象データタイプの代数的仕様記述法の基礎（1）：多ソート代数と等式論理 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | Many-Sorted Algebre and Equational Logic | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| キーワード | ||||||||
| 主題Scheme | Other | |||||||
| 主題 | 講座 | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_6501 | |||||||
| 資源タイプ | article | |||||||
| 著者所属 | ||||||||
| Faculty of Engineering Nagoya University | ||||||||
| 著者所属 | ||||||||
| Faculty of Engineering Nagoya University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Faculty of Engineering,Nagoya University | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Faculty of Engineering,Nagoya University | ||||||||
| 著者名 |
稲垣, 康善
坂部, 俊樹
× 稲垣, 康善 坂部, 俊樹
|
|||||||
| 著者名(英) |
Inagaki, Yasuyoshi
Sakabe, Toshiki
× Inagaki, Yasuyoshi Sakabe, Toshiki
|
|||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN00116625 | |||||||
| 書誌情報 |
情報処理 巻 25, 号 1, 発行日 1984-01-15 |
|||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
