Items related to Algebraic and Logic Programming: 6th International...

Algebraic and Logic Programming: 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings: 1298 (Lecture Notes in Computer Science, 1298) - Softcover

 
9783540634591: Algebraic and Logic Programming: 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings: 1298 (Lecture Notes in Computer Science, 1298)

Synopsis

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 Southampton, 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.

"synopsis" may belong to another edition of this title.

Buy Used

Condition: As New
Unread book in perfect condition...
View this item

£ 1.96 shipping within U.S.A.

Destination, rates & speeds

Search results for Algebraic and Logic Programming: 6th International...

Stock Image

Published by Springer, 1997
ISBN 10: 3540634592 ISBN 13: 9783540634591
New Softcover

Seller: Best Price, Torrance, CA, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. SUPER FAST SHIPPING. Seller Inventory # 9783540634591

Contact seller

Buy New

£ 42.13
Convert currency
Shipping: £ 6.68
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Stock Image

Published by Springer, 1997
ISBN 10: 3540634592 ISBN 13: 9783540634591
New Softcover

Seller: Lucky's Textbooks, Dallas, TX, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # ABLIING23Mar3113020172982

Contact seller

Buy New

£ 45.97
Convert currency
Shipping: £ 2.97
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

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)
Published by Springer, 1997
ISBN 10: 3540634592 ISBN 13: 9783540634591
New Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # 5905475-n

Contact seller

Buy New

£ 46.98
Convert currency
Shipping: £ 1.96
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Michael Hanus
ISBN 10: 3540634592 ISBN 13: 9783540634591
New Paperback

Seller: Grand Eagle Retail, Mason, OH, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Paperback. Condition: new. Paperback. 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 Southampton, 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. This work constitutes the proceedings of the sixth International Conference on Algebraic and Logic Programming and the third International Workshop on Higher-Order Algebra, Logic and Term Rewriting. Topics covered include functional and logic programming, higher-order methods and term rewriting. Shipping may be from multiple locations in the US or from the UK, depending on stock availability. Seller Inventory # 9783540634591

Contact seller

Buy New

£ 49.01
Convert currency
Shipping: FREE
Within U.S.A.
Destination, rates & speeds

Quantity: 1 available

Add to basket

Seller Image

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)
Published by Springer, 1997
ISBN 10: 3540634592 ISBN 13: 9783540634591
Used Softcover

Seller: GreatBookPrices, Columbia, MD, U.S.A.

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: As New. Unread book in perfect condition. Seller Inventory # 5905475

Contact seller

Buy Used

£ 53.11
Convert currency
Shipping: £ 1.96
Within U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Published by Springer, 1997
ISBN 10: 3540634592 ISBN 13: 9783540634591
New Softcover

Seller: Ria Christie Collections, Uxbridge, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. In. Seller Inventory # ria9783540634591_new

Contact seller

Buy New

£ 49.13
Convert currency
Shipping: £ 11.98
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Stock Image

Hanus, Michael
Published by Springer 1997-08, 1997
ISBN 10: 3540634592 ISBN 13: 9783540634591
New PF

Seller: Chiron Media, Wallingford, United Kingdom

Seller rating 4 out of 5 stars 4-star rating, Learn more about seller ratings

PF. Condition: New. Seller Inventory # 6666-IUK-9783540634591

Contact seller

Buy New

£ 47.99
Convert currency
Shipping: £ 15.49
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: 10 available

Add to basket

Seller Image

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)
Published by Springer, 1997
ISBN 10: 3540634592 ISBN 13: 9783540634591
New Softcover

Seller: GreatBookPricesUK, Woodford Green, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: New. Seller Inventory # 5905475-n

Contact seller

Buy New

£ 49.12
Convert currency
Shipping: £ 15
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

Seller Image

Michael Hanus
ISBN 10: 3540634592 ISBN 13: 9783540634591
New Taschenbuch
Print on Demand

Seller: BuchWeltWeit Ludwig Meier e.K., Bergisch Gladbach, Germany

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Taschenbuch. Condition: Neu. This item is printed on demand - it takes 3-4 days longer - Neuware -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 Southampton, 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. 308 pp. Englisch. Seller Inventory # 9783540634591

Contact seller

Buy New

£ 48.09
Convert currency
Shipping: £ 20.08
From Germany to U.S.A.
Destination, rates & speeds

Quantity: 2 available

Add to basket

Seller Image

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)
Published by Springer, 1997
ISBN 10: 3540634592 ISBN 13: 9783540634591
Used Softcover

Seller: GreatBookPricesUK, Woodford Green, United Kingdom

Seller rating 5 out of 5 stars 5-star rating, Learn more about seller ratings

Condition: As New. Unread book in perfect condition. Seller Inventory # 5905475

Contact seller

Buy Used

£ 55.72
Convert currency
Shipping: £ 15
From United Kingdom to U.S.A.
Destination, rates & speeds

Quantity: Over 20 available

Add to basket

There are 6 more copies of this book

View all search results for this book