ISBN 3540612548 books & textbook
Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers (Lecture Notes in Computer Science, 1074)
Dowek, Gilles Heering, Jan Meinke, Karl Möller, Bernhard
Springer /1996-05-08 Paperback / 304 Pages
isbn-10: 3540612548 / isbn-13: 9783540612544
