WEKO3
アイテム
計算機向きの様相論理の証明手続き
https://ipsj.ixsq.nii.ac.jp/records/31523
https://ipsj.ixsq.nii.ac.jp/records/31523ef85c60f-7420-4438-9461-9dddc3b6c93f
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
IPSJ-PRO80012004.pdf (1.2 MB)
|
Copyright (c) 1980 by the Information Processing Society of Japan
|
|
| オープンアクセス | ||
| Item type | SIG Technical Reports(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 1980-06-19 | |||||||
| タイトル | ||||||||
| タイトル | 計算機向きの様相論理の証明手続き | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_18gh | |||||||
| 資源タイプ | technical report | |||||||
| 著者所属 | ||||||||
| 富士通国際情報研 | ||||||||
| 著者所属 | ||||||||
| 北海道大学工学部 | ||||||||
| 著者名 |
沢村一
× 沢村一
|
|||||||
| 書誌レコードID | ||||||||
| 収録物識別子タイプ | NCID | |||||||
| 収録物識別子 | AN10485570 | |||||||
| 書誌情報 |
情報処理学会研究報告プログラミング（PRO） 巻 1980, 号 9(1980-PRO-012), p. 21-27, 発行日 1980-06-19 |
|||||||
| Notice | ||||||||
| SIG Technical Reports are nonrefereed and hence may later appear in any journals, conferences, symposia, etc. | ||||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
