The collected works of Larry Wos: Exploring the power of automated reasoning by Pieper, Gail W., Wos, Lawrence Thomas 0 Type: Book
