Artificial Intelligence, Automated Reasoning And Symbolic Computation by Springer-Verlag & J. Calmet