Logic Programming | 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings

Verónica Dahl (u. a.)

ISBN 10: 3540746080 / ISBN 13: 9783540746089

Edité par Springer, 2007

Logic Programming | 23rd International Conference, ICLP 2007, Porto, Portugal, September 8-13, 2007, Proceedings | Verónica Dahl (u. a.) | Taschenbuch | xii | Englisch | 2007 | Springer | EAN 9783540746089 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu Print on Demand. N° de réf. du vendeur 101947962

Synopsis :

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.

Présentation de l'éditeur: 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.

Détails bibliographiques

Titre : Logic Programming | 23rd International ...
Éditeur : Springer
Date d'édition : 2007
Reliure : Taschenbuch
Etat : Neu