Founded in 1997, BookFinder.com has become a leading book price comparison site:

Find and compare hundreds of millions of new books, used books, rare books and out of print books from over 100,000 booksellers and 60+ websites worldwide.

Jan Heering: Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, Hoa '93, Amsterdam, the Netherlands September 23-24, 1993 Selected Pa (Lecture Notes in Computer Science)

Higher-Order Algebra, Logic, and Term Rewriting:
First International Workshop, Hoa '93, Amsterdam, the Netherlands September 23-24, 1993 Selected Pa (Lecture Notes in Computer Science)

by Jan Heering, Karl Meinke, Bernhard Moller

ISBN 0387582339 / 9780387582337 / 0-387-58233-9
Publisher Springer-Verlag
Language English
Edition Softcover
Find This Book

 

Find signed collectible books: 'Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, Hoa '93, Amsterdam, the Netherlands September 23-24, 1993 Selected Pa (Lecture Notes in Computer Science)'