×

Uh-oh, it looks like your Internet Explorer is out of date.

For a better shopping experience, please upgrade now.

Automated Reasoning: Essays in Honor of Woody Bledsoe
     

Automated Reasoning: Essays in Honor of Woody Bledsoe

by Robert Stephen Boyer (Editor)
 

See All Formats & Editions

Product Details

ISBN-13:
9789401055420
Publisher:
Springer Netherlands
Publication date:
04/30/2013
Series:
Automated Reasoning Series , #1
Edition description:
Softcover reprint of the original 1st ed. 1991
Pages:
365
Product dimensions:
6.10(w) x 9.25(h) x 0.03(d)

Customer Reviews

Average Review:

Post to your social network

     

Most Helpful Customer Reviews

See all customer reviews