Symbolic Computation: Artificial Intelli