Original language | English |
---|---|
Journal | CEUR Workshop Proceedings |
Volume | 1186 |
Publication status | Published - Jul 2014 |
OpenMath 2014 preface
Research output: Contribution to journal › Article › peer-review
Research output: Contribution to journal › Article › peer-review
Original language | English |
---|---|
Journal | CEUR Workshop Proceedings |
Volume | 1186 |
Publication status | Published - Jul 2014 |