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