Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers (Lecture Notes in Computer Science, 1074, Band 1074)

53.49 EUR

Marke: Springer Berlin Heidelberg
ISBN: 3540612548
MPN: 7026485