WEKO3
アイテム / Bidirectional Interplay between Mathematics and Computer Science: Safety and Extensibility in Computer Algebra and Haskell / A8930
A8930
ファイル | ライセンス |
---|---|
A8930.pdf (248.3 kB) sha256 23b8f8760133840df74448399ff03f7f05dba001ea8ad0754b0bc46dc8def866 |
公開日 | 2019-06-27 | |||||
---|---|---|---|---|---|---|
ファイル名 | A8930.pdf | |||||
本文URL | https://tsukuba.repo.nii.ac.jp/record/51452/files/A8930.pdf | |||||
オブジェクトタイプ | abstract | |||||
フォーマット | application/pdf | |||||
サイズ | 248.3 kB |
Version | Date Modified | Object File Name | File Size | File Hash Value | Contributor Name | Show/Hide |
---|