Delivery included to the United States

Higher-Order Algebra, Logic, and Term Rewriting

Higher-Order Algebra, Logic, and Term Rewriting Second International Workshop, HOA '95, Paderborn, Germany, September 21-22, 1995 : Selected Papers - Lecture Notes in Computer Science

Paperback

Not available for sale

Out of stock

This service is protected by reCAPTCHA and the Google Privacy Policy and Terms of Service apply.

Book information

ISBN: 9780387612546
Publisher: Springer Verlag,.
Imprint: Springer Verlag,.
Language: English
Number of pages: 287
Weight: -1g