ebook img

9th International Conference on Automated Deduction: Argonne, Illinois, USA, May 23–26, 1988 Proceedings PDF

785 Pages

1988

15.085 MB

English

by Hantao Zhang, Deepak Kapur (auth.), Ewing Lusk, Ross Overbeek (eds.)

Checking for file health...

The list of books you might like

Most books are stored in the elastic cloud where traffic is expensive. For this reason, we have a limit on daily download.