Symbolic manipulation by computersby Sam Boardman, A. J. OldknowWriting a summary for young readers…For young readersBook data: Open Library