Band 632
Algebraic and Logic Programming Third International Conference, Volterra, Italy, September 2-4, 1992. Proceedings
Aus der Reihe
Lecture Notes in Computer Science
-
- Hardcover
- Taschenbuch ausgewählt
- eBook
-
Sprache:Englisch
-
Auflage:1992
51,99 €
inkl. gesetzl. MwSt.,
Beschreibung
Produktdetails
Einband
Taschenbuch
Erscheinungsdatum
19.08.1992
Herausgeber
Helene Kirchner + weitereVerlag
Springer BerlinSeitenzahl
460
Maße (L/B/H)
23,5/15,5/2,5 cm
Gewicht
698 g
Auflage
1992
Sprache
Englisch
ISBN
978-3-540-55873-6
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 and more 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.
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 and more 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.
Kundinnen und Kunden meinen
Verfassen Sie die erste Bewertung zu diesem Artikel
Helfen Sie anderen Kund*innen durch Ihre Meinung
Kurze Frage zu unserer Seite
Vielen Dank für Ihr Feedback
Wir nutzen Ihr Feedback, um unsere Produktseiten zu verbessern. Bitte haben Sie Verständnis, dass wir Ihnen keine Rückmeldung geben können. Falls Sie Kontakt mit uns aufnehmen möchten, können Sie sich aber gerne an unseren Kund*innenservice wenden.
zum Kundenservice