Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected ... Notes in Computer Science, 816, Band 816)

53.49 EUR

Marke: Springer Berlin Heidelberg
MPN: 1
ISBN: 3540582339