Search for 'au:"Pieper, Gail W." and su-to:Automatic theorem proving'

Fascinating country in the world of computing : your guide to automated reasoning

By Wos, Larry. Singapore: World Scientific, 1999 . xx, 587 p.; 23 cm.. 9810239106

By Wos, Larry. Singapore: World Scientific, 2000 . xvii, 827 p.; 23 cm.. 9810249969

By Wos, Larry. Singapore: World Scientific, 2000 . xvii, 829 - 1639 pp.; 23 cm.. 9810249985