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