Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, Hoa '95, Paderborn, Germany, September 21-22, 1995
by Logic, and Term Rewriting (2nd : 1995 : Paderborn, Germany) International Workshop on Higher-Order Algebra287 pages · English
As an Amazon Associate I earn from qualifying purchases.
Amazon opens a search, not a verified edition. Check format, price and availability there.
Book details
PhilosophyScienceTechnology
Catalogue length: 287 pages. Length can vary by edition.
Catalogue: Open Library OL9077860W; genres from Open Library subjects; summary generated from catalogue fields · Cover: Open Library Covers (display via covers.openlibrary.org; publisher artwork)