Gail W. Pieper

• Automated reasoning and its applications
• A fascinating country in the world of computing
• Collected Works of Larry Wos Vol. 1
• Fascinating Country in the World of Computing, a
• Utopian images and narratives in advertising