TY - BOOK AU - Siekmann Jorg TI - Symbolic Computation SN - 387120432 U1 - 1 CY - New York ER -