WEKO3
アイテム / Diagrammatic Calculus for Order-sorted Logic / Y0870029
Y0870029
ファイル | ライセンス |
---|---|
Y0870029.pdf (507.9 kB) sha256 3b147aeb1b753942639967074cf5b6d4e699c6f8b3de33483c9c96f221eaed41 |
公開日 | 2018-03-23 | |||||
---|---|---|---|---|---|---|
ファイル名 | Y0870029.pdf | |||||
本文URL | https://tsuru.repo.nii.ac.jp/record/432/files/Y0870029.pdf | |||||
ラベル | Diagrammatic Calculus for Order-sorted Logic | |||||
フォーマット | application/pdf | |||||
サイズ | 507.9 kB |
Version | Date Modified | Object File Name | File Size | File Hash Value | Contributor Name | Show/Hide |
---|