Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design
|
Buy Now
Algebraic and Logic Programming - 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings (Paperback, 1997 ed.)
Loot Price: R1,569
Discovery Miles 15 690
|
|
Algebraic and Logic Programming - 6th International Joint Conference, ALP '97 - HOA '97, Southhampton, UK, September 3-5, 1997. Proceedings (Paperback, 1997 ed.)
Series: Lecture Notes in Computer Science, 1298
Expected to ship within 10 - 15 working days
|
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.
General
Is the information for this product incomplete, wrong or inappropriate?
Let us know about it.
Does this product have an incorrect or missing image?
Send us a new image.
Is this product missing categories?
Add more categories.
Review This Product
No reviews yet - be the first to create one!
|
|
Email address subscribed successfully.
A activation email has been sent to you.
Please click the link in that email to activate your subscription.