BookFinder.com is a one-stop ecommerce search engine that searches over 150 million books for sale—new, used, rare, out-of-print, and textbooks.

Higher-Order Algebra, Logic, and Term Rewriting:
First International Workshop, Hoa '93, Amsterdam, the Netherlands September 23-24, 1993 Selected Pa

by Jan Heering, Karl Meinke, Bernhard Moller, Tobias Nipkow

ISBN 0387582339 / 9780387582337 / 0-387-58233-9
Publisher Springer Verlag
Language English
Edition Softcover
List price $74.95
Find All Copies

 


› Find collectible copies of 'Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, Hoa '93, Amsterdam, the Netherlands September 23-24, 1993 Selected Pa'