Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers
von:
Gilles Dowek
·
Jan Heering
·
Karl Meinke
Taschenbuch
Details (
USA
)
ISBN-13: 978-3-662-20186-2
ISBN-10: 3-662-20186-0
Springer
· 2014
Siehe auch:
2008
Taschenbuch
Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers (Lecture Notes in Computer Science, Band 1074)