TY  - GEN
DO  - 10.1007/978-3-319-62075-6
DO  - doi
T1  - Intelligent computer mathematics :10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings /
AU  - Geuvers, Herman,
AU  - England, Matthew,
AU  - Hasan, Osman,
AU  - Rabe, Florian,
AU  - Teschke, Olaf,
VL  - 10383
CN  - QA76.9.M35
N1  - International conference proceedings.
N1  - Includes author index.
ID  - 790265
KW  - Computer science
KW  - Artificial intelligence
SN  - 9783319620756
SN  - 3319620754
TI  - Intelligent computer mathematics :10th International Conference, CICM 2017, Edinburgh, UK, July 17-21, 2017, Proceedings /
LK  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-62075-6
UR  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-62075-6
ER  -