Automated Reasoning: Essays in Honor of Woody Bledsoe

Automated Reasoning: Essays in Honor of Woody Bledsoe

by Robert Stephen Boyer (Editor)

Paperback(Softcover reprint of the original 1st ed. 1991)

$139.00
View All Available Formats & Editions
Eligible for FREE SHIPPING
  • Use Standard Shipping ,  For guaranteed delivery by Dec. 24.

Customer Reviews

Most Helpful Customer Reviews

See All Customer Reviews