Automated reasoning: essays in honor of Woody Bledsoe by Boyer, Robert S., Bledsoe, W.W., (Woodrow Wilson) fromAutomated reasoning series 0 Type: Book
