Logic programming
Subtitle: 23rd international conference, ICLP 2007, Porto, Portugal, September 8-13, 2007 ; proceedings
By: Veronica Dahl, Ilkka Niemelä (eds.).
Contributors: Dahl, Veronica, 1950-; Niemelä, Ilkka, 1961-
Series: Lecture notes in computer science -- 4670.; LNCS sublibrary
Publisher: Springer
Published: 2007
Place of publication: Berlin; New York
Language: eng
Number of pages: 470
ISBN-13: 9783540746089
Subjects: Logic programming -- Congresses.
Genres: Congresses.
Other titles: ICLP 2007.
Notes: International conference proceedings.

Includes bibliographical references and author index.

Also issued online.