Algebraic and Logic Programming: 6th International Joint Conference
Language: English
Published by Springer Berlin Heidelberg, 1997
- Softcover
- Used
Seller: Optimon Books, Gravesend, Kent, United KingdomOptimon Books
AbeBooks seller since December 22, 2022
Condition: Used - Good
US$ 64.87
Quantity: 1 available
Add to basketItem description from seller
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.
Seller Inventory # 480766
- Title
- Algebraic and Logic Programming: 6th International Joint Conference
- Author
- Michael Hanus
- Publisher
- Springer Berlin Heidelberg
- Publication year
- 1997
- Condition
- Good
- Binding
- Paperback
- Language
- English
- ISBN 10
- 3540634592
- ISBN 13
- 9783540634591
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.
Optimon Books
Gravesend, Kent, United Kingdom
AbeBooks seller since December 22, 2022
Shipping rates from United Kingdom to U.S.A.
| Item | 14 to 45 business days | 5 to 10 business days |
|---|---|---|
| First item | US$ 24.13 | US$ 53.61 |
Payment methods
Store description
We sell books on linguistics and entomology, mainly used books in English and German.
Specialty
Oriental languages, Grammars, DictionariesSeller's business information
Optimon Books
United Kingdom
Shipping terms
Orders usually ship within 48 hours. Shipping costs are based on books weighing 1.1 LB, or 0.5 KG. If your book order is heavy or oversized, we may contact you to let you know extra shipping is required. If you require secure or guaranteed delivery, please select Expedited shipping, not Free shipping.