TY  - BOOK
AU  - Michael Kohlhase; Manfred Kerber
TI  - Symbolic Computation and Automated Reasoning
SN  - 9780429064302
PB  - Taylor and Francis
UR  - http://www.taylorfrancis.com/books/9780429064302
ER  -