×
  • Automated reasoning : essays in honor of Woody Bledsoe

    W W Bledsoe Robert S Boyer (ed.)

Click on cover to enlarge.
8 - 9Hours to read