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)

von: Jan Heering · Tobias Nipkow · Bernhard M??ller · Karl Meinke Taschenbuch Details (Deutschland) ISBN: 978-3-540-58233-5 ISBN-10: 3-540-58233-9 Springer · 2008