Titel | Art | | ISBN-13 | Erschei- nungsjahr | andere Autoren |
Algebraic and Logic Programming: 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings | Taschenbuch | | 978-3-540-63459-1 | 2008 | Michael Hanus · Karl Meinke |
Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected ... Notes in Computer Science , Band 816) | " | | 978-3-540-58233-5 | 2008 | Tobias Nipkow · Bernhard M??ller · Karl Meinke |
Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, Hoa '93, Amsterdam, the Netherlands September 23-24, 1993 Selected Pa | Paperback | | 978-0-387-58233-7 | 1994 | Karl Meinke · Bernhard Moller |
Higher-Order Algebra, Logic, and Term Rewriting: First International Workshop, HOA '93, Amsterdam, The Netherlands, September 23 - 24, 1993. Selected Papers | " | | 978-3-662-18905-4 | 2014 | Karl Meinke · Bernhard Möller |
Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers | " | | 978-3-662-20186-2 | 2014 | Gilles Dowek · Karl Meinke |
Higher-Order Algebra, Logic, and Term Rewriting: Second International Workshop, HOA '95, Paderborn, Germany, September 1995. Selected Papers | Taschenbuch | | 978-3-540-61254-4 | 2008 | Bernhard M??ller · Gilles Dowek · Karl Meinke |