WEKO3
アイテム / a review of Loop-type sequent calculi for temporal logic by Alonderis, R.; Pliuškevičius, R.; Pliuškevičienė, A.; Giedra, H. / 07311961
07311961
ファイル | ライセンス |
---|---|
07311961.pdf (259.9 kB) sha256 c277b78d1770723205348c083e2b75bc1892d79537e41a33716458864be07e6d |
公開日 | 2021-06-16 | |||||
---|---|---|---|---|---|---|
ファイル名 | 07311961.pdf | |||||
本文URL | https://tsukuba.repo.nii.ac.jp/record/2000119/files/07311961.pdf | |||||
オブジェクトタイプ | fulltext | |||||
フォーマット | application/pdf | |||||
サイズ | 254 KB |
Version | Date Modified | Object File Name | File Size | File Hash Value | Contributor Name | Show/Hide |
---|