| 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 · Jan Heering |
| Computer Science Logic: 7th Workshop, CSL '93, Swansea, United Kingdom, September 13 - 17, 1993. Selected Papers | " | | 978-3-540-58277-9 | 2008 | Yuri Gurevich · Egon B??rger |
| 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 | Jan Heering · Tobias Nipkow · Bernhard M??ller |
| 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 | Jan Heering · 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 | Jan Heering · 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 · Jan Heering |
| 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 | Jan Heering · Bernhard M??ller · Gilles Dowek |
| Principles of Declarative Programming: 10th International Symposium PLILP'98, Held Jointly with the 6th International Conference ALP'98, Pisa, Italy, ... Notes in Computer Science, Band 1490) | " | | 978-3-540-65012-6 | 2008 | Catuscia Palamidessi · Hugh Glaser |