## Collected Works of Larry Wos

(in 2 volumes)
by

Larry Wos with Gail Pieper

Automated reasoning programs are successfully tackling challenging problems
in mathematics and logic, program verification, and circuit design.
This two-volume book includes all the
published papers of
Dr. Larry Wos -- one of the world's pioneers in
automated reasoning.

The book has the following special features:

**Readership:** College students, teachers,
researchers and historians of computer science.

1600 pages (approx.)

ISBN: 981-02-4001-5(set)

**World Scientific**
home page