WEKO3
アイテム
Tense Arithmeticに基づく実時間知的プログラムの数理的表現ならびに解析
https://ipsj.ixsq.nii.ac.jp/records/239664
https://ipsj.ixsq.nii.ac.jp/records/2396648af4ebbd-6b8a-4b1a-9d14-729178f823b2
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
WPRO1999013.pdf (6.9 MB)
|
|
|
| オープンアクセス | ||
| Item type | Symposium(1) | |||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 公開日 | 1999-01-12 | |||||||||||||
| タイトル | ||||||||||||||
| タイトル | Tense Arithmeticに基づく実時間知的プログラムの数理的表現ならびに解析 | |||||||||||||
| 言語 | ||||||||||||||
| 言語 | jpn | |||||||||||||
| 資源タイプ | ||||||||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||||||||
| 資源タイプ | conference paper | |||||||||||||
| 著者所属 | ||||||||||||||
| 筑波大学 電子・情報工学系 | ||||||||||||||
| 著者所属 | ||||||||||||||
| 筑波大学 電子・情報工学系 | ||||||||||||||
| 著者所属 | ||||||||||||||
| 筑波大学 電子・情報工学系 | ||||||||||||||
| 著者所属 | ||||||||||||||
| (株)日立製作所 中央研究所 プロセッサシステム研究部 | ||||||||||||||
| 著者名 |
塩, 雅之
× 塩, 雅之
× 五十嵐, 滋
× 水谷, 哲也
× 白銀, 哲也
|
|||||||||||||
| 書誌情報 |
第40回プログラミング・シンポジウム報告集 巻 1999, p. 143-149, 発行日 1999-01-12 |
|||||||||||||
| 出版者 | ||||||||||||||
| 言語 | ja | |||||||||||||
| 出版者 | 情報処理学会 | |||||||||||||
