"Automated reasoning : essays in honor of Woody Bledsoe" - читать интересную книгу автора (W W Bledsoe; Robert S Boyer (ed.))