Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers (Lecture Notes in Computer Science, 1074)
詳しい情報
出版社: Springer(2008-06-13)
ペーパーバック: 304 ページ / 15.5 x 1.8 x 23.5 cm
ISBN-10: 3540612548 ISBN-13: 9783540612544