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