Proceedings of the 13th Annual Conference, TPHOLs 2000, held in Portland, Oregon, August 14-18, 2000. The conference included contributions to computer theorem proving and to functional programming, as well as works in progress. Softcover.

Скачать книгу бесплатно (pdf, 27.41 Mb)

---

Читать «Theorem Proving in Higher Order Logics, 13 conf., TPHOLs 2000»