Collected Works of Larry Wos
(in 2 volumes)
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
The book has the following special features:
Readership: College students, teachers,
researchers and historians of computer science.
1600 pages (approx.)