Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

Dahl, Verónica [Editor]; Niemelä, Ilkka [Editor];

ISBN 10: 3540746080 / ISBN 13: 9783540746089

Verlag: Springer, 2007

Beschreibung

Ex-Library paperback with the usual markings, attachments, and library wear. Soiled edges otherwise, except for library markings, interior clean and unmarked. Tight binding.

Bestandsnummer des Verkäufers DA1412694

Bibliografische Details

• Titel: Logic Programming: 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)
• Verlag: Springer
• Erscheinungsjahr: 2007
• Sprache: Englisch
• ISBN-10: 3540746080
• ISBN-13: 9783540746089
• Einband: Paperback
• Zustand: Good

Über diesen Titel

Inhaltsangabe

This book contains the refereed proceedings of the 23rd International Conference on Logic Programming, ICLP 2007, held in Porto, Portugal. The 22 revised full papers together with two invited talks, 15 poster presentations, and the abstracts of five doctoral consortium articles cover all issues of current research in logic programming, including theory, functional and constraint logic programming, program analysis, answer-set programming, semantics, and applications.