Higher-Order and Symbolic Computation (Boston Springer US)
Keywords: Information Technology -- Computer Science (Hardware & Networks); Mathematical Sciences -- Applied Mathematics