6th Conference on Automated Deduction, New York, USA, June 7-9, 1982

6th Conference on Automated Deduction, New York, USA, June 7-9, 1982

  • Book

Currently unavailable

Add to wishlist

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

Try AbeBooks

Product details

  • Book | 389 pages
  • Springer
  • Germany
  • 0387115587
  • 9780387115580