Automated Deduction - Cade-19

Automated Deduction - Cade-19 : 19th International Conference on Automated Deduction Miami Beach, FL, USA, July 28 - August 2, 2003, Proceedings

  • Electronic book text

List price: US$81.00

Currently unavailable

We can notify you when this item is back in stock

Add to wishlist

AbeBooks may have this title (opens in new window).

Try AbeBooks

Product details

  • Electronic book text
  • Springer
  • United States
  • 3540450858
  • 9783540450856