Larry WosLarry Wos received his Ph.D. in Mathematics from the University of Illinois. He is now Senior Mathematician in the Mathematics and Computer Science division of Argonne National Laboratory, where he has worked for more than 30 years. Other books by th author include Automated Reasoning: Introduction and Applications and Automated Reasoning: 33 Basic Research Problems. Read More Read Less
An OTP has been sent to your Registered Email Id:
Resend Verification Code