Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, Hoa '93, Amsterdam, the Netherlands September 23-24, 1993 Selected Pa - Couverture souple
Couverture souple
ISBN 10 : 0387582339 ISBN 13 : 9780387582337
L'édition de cet ISBN n'est malheureusement plus disponible.