TY  - GEN
T1  - Intelligent computer mathematics9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016. Proceedings /
AU  - Kohlhase, Michael,
AU  - Johansson, Moa,
AU  - Miller, Bruce,
AU  - Moura, Leonardo de,
AU  - Tompa, Frank,
VL  - 9791
CN  - QA76.9.M35
N1  - International conference proceedings.
N1  - Includes author index.
ID  - 756468
KW  - Computer science
KW  - Artificial intelligence
SN  - 9783319425474
SN  - 3319425471
TI  - Intelligent computer mathematics9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016. Proceedings /
LK  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-42547-4
UR  - https://univsouthin.idm.oclc.org/login?url=http://link.springer.com/10.1007/978-3-319-42547-4
ER  -