The collected works of Larry Wos
by World Scientific (Firm), Pieper, Gail W., Wos, Larry
0
Type: Book
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. It provides…