Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, Hoa '93, Amsterdam, the Netherlands September 23-24, 1993 Selected Pa - Brossura
Brossura
ISBN 10: 0387582339 ISBN 13: 9780387582337
Al momento non sono disponibili copie per questo codice ISBN.