Algebraic Logic Programming 6th (4 results)
Algebraic and Logic Programming : 6th International Joint Conference, Alp '97-Hoa '97, Southampton, Uk. September 3-5, 1997 : Proceedings
Hanus, Michael (EDT); Heering, J. (EDT); Meinke, K. (EDT); International Conference on Algebraic and Logic Programming (6th : 1997 : Southampton, England) (COR); International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (3rd : 1997 : Southampton, England) (COR)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: Used - As new
US$ 69.48
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: As New. Unread book in perfect condition.
Algebraic and Logic Programming : 6th International Joint Conference, Alp '97-Hoa '97, Southampton, Uk. September 3-5, 1997 : Proceedings
Hanus, Michael (EDT); Heering, J. (EDT); Meinke, K. (EDT); International Conference on Algebraic and Logic Programming (6th : 1997 : Southampton, England) (COR); International Workshop on Higher-Order Algebra, Logic, and Term Rewriting (3rd : 1997 : Southampton, England) (COR)
- Softcover
Seller: GreatBookPrices, Columbia, MD, U.S.A.GreatBookPrices
Contact seller5-star sellerCondition: New
US$ 87.21
US$ 2.64 shippingShips within U.S.A.Quantity: Over 20 available
Condition: New.
- Softcover
Seller: AHA-BUCH GmbH, Einbeck, GermanyAHA-BUCH GmbH
Contact seller5-star sellerCondition: New
US$ 63.12
US$ 71.44 shippingShips from Germany to U.S.A.Quantity: 1 available
Taschenbuch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - This book constitutes the refereed proceedings of the 6th International Conference on Algebraic and Logic Programming, ALP '97 and the 3rd International Workshop on Higher-Order Algebra, Logic and Term Rewriting, HOA '97, held jointly in Southampto…n, UK, in September 1997.The 18 revised full papers presented in the book were selected from 31 submissions. The volume is divided in sections on functional and logic programming, higher-order methods, term rewriting, types, lambda-calculus, and theorem proving methods.
More images- Softcover
Seller: preigu, Osnabrück, Germanypreigu
Contact seller5-star sellerCondition: New
US$ 59.31
US$ 80.21 shippingShips from Germany to U.S.A.Quantity: 5 available
Taschenbuch. Condition: Neu. Algebraic and Logic Programming | 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings | Michael Hanus (u. a.) | Taschenbuch | xi | Englisch | 1997 | Springer | EAN 9783540634591 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergarten…str. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.
