TY  - BOOK
AU  - Herman Geuvers, Matthew England, Osman Hasan, Florian Rabe, Olaf Teschke
TI  - Intelligent Computer Mathematics
SN  - 9783319620756
PY  - 2017///
PB  - Springer
KW  - Artificial Intelligence (incl. Robotics); Mathematical Logic and Formal Languages; Logics and Meanings of Programs; Software Engineering; Programming Languages, Compilers, Interpreters; Simulation and Modeling
UR  - http://link.springer.com/openurl?genre=book&isbn=978-3-319-62074-9
ER  -