Books by Wos, Larry
See the best price to sell, buy, or rent books by Wos, Larry. BookScouter helps to compare book prices from 25+ online bookstores and 30+ buyback vendors with a single search.
Automated Reasoning: 33 Basic Research Problems
Author(s): Wos, Larry
ISBN-13: 9780130545527
Automated Reasoning and the Discovery of Missing and Elegant Proofs
Author(s): Wos, Larry
ISBN-13: 9781589490239
Publisher: Rinton Pr Inc
Format: CD-ROM