WEKO3
アイテム
数式処理システムGALにおける数学公式データベース
https://ipsj.ixsq.nii.ac.jp/records/237448
https://ipsj.ixsq.nii.ac.jp/records/23744836ed5f1c-5768-4f5b-a60d-88adebcf922e
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
WPRO1988020.pdf (14.2 MB)
|
|
|
| オープンアクセス | ||
| Item type | Symposium(1) | |||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 1988-01-12 | |||||||||||||||||
| タイトル | ||||||||||||||||||
| タイトル | 数式処理システムGALにおける数学公式データベース | |||||||||||||||||
| 言語 | ||||||||||||||||||
| 言語 | jpn | |||||||||||||||||
| 資源タイプ | ||||||||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||||||||||
| 資源タイプ | conference paper | |||||||||||||||||
| 著者所属 | ||||||||||||||||||
| 理研 | ||||||||||||||||||
| 著者所属 | ||||||||||||||||||
| 情報大 | ||||||||||||||||||
| 著者所属 | ||||||||||||||||||
| 情報大 | ||||||||||||||||||
| 著者所属 | ||||||||||||||||||
| 富士通東北システムエンジニアリング | ||||||||||||||||||
| 著者所属 | ||||||||||||||||||
| 電総研 | ||||||||||||||||||
| 著者所属 | ||||||||||||||||||
| 理研 | ||||||||||||||||||
| 著者名 |
佐々木, 建昭
× 佐々木, 建昭
× 増永, 良文
× 三枝, 義典
× 阿部, 昭博
× 元吉, 文男
× 佐々木, 睦子
|
|||||||||||||||||
| 書誌情報 |
第29回プログラミング・シンポジウム報告集 巻 1988, p. 163-173, 発行日 1988-01-12 |
|||||||||||||||||
| 出版者 | ||||||||||||||||||
| 言語 | ja | |||||||||||||||||
| 出版者 | 情報処理学会 | |||||||||||||||||
