Artificial Intelligence and Symbolic Computation door Jan Plaza