Gives an overview about computer architectures for symbolic computation (Lisp, Prolog, ...). Unfortunately most chapters are not very deep and described not really the state of the art. The part about Symbolics is also very shallow. TI and Symbolics had much more interesting overviews.