Books > Computing & IT > Computer hardware & operating systems > Computer architecture & logic design
|
Buy Now
Algebraic and Logic Programming - Second International Conference, Nancy, France, October 1-3, 1990. Proceedings (Paperback, 1990 ed.)
Loot Price: R1,721
Discovery Miles 17 210
|
|
Algebraic and Logic Programming - Second International Conference, Nancy, France, October 1-3, 1990. Proceedings (Paperback, 1990 ed.)
Series: Lecture Notes in Computer Science, 463
Expected to ship within 10 - 15 working days
|
Donate to Gift Of The Givers
Total price: R1,741
Discovery Miles: 17 410
|
This volume contains the proceedings of the Third International
Conference on Algebraic and Logic Programming, held in Pisa, Italy,
September 2-4, 1992. Like the two previous conferences in Germany
in 1988 and France in 1990, the third conference aims at
strengthening the connections betweenalgebraic techniques and logic
programming. On the one hand, logic programming has been very
successful during the last decades and more andmore systems compete
in enhancing its expressive power. On the other hand, concepts like
functions, equality theory, and modularity are particularly well
handled in an algebraic framework. Common foundations of both
approaches have recently been developed, and this conference is a
forum for people from both areas to exchange ideas, results, and
experiences. The book covers the following topics: semantics
ofalgebraic and logic programming; integration of functional and
logic programming; term rewriting, narrowing, and resolution;
constraintlogic programming and theorem proving; concurrent
features in algebraic and logic programming languages; and
implementation issues.
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.