Logic programming : 24th international conference, ICLP 2008 : Udine, Italy, December 9-13 2008 : proceedings. : Dec 2008, Udine, Italy. (Lecture Notes in Computer Science ; 5366)

Logic programming : 24th international conference, ICLP 2008 : Udine, Italy, December 9-13 2008 : proceedings. : Dec 2008, Udine, Italy.

(Lecture Notes in Computer Science ; 5366)

Call No. (NDL): M17-09-1306
Bibliographic ID of National Diet Library: 000010076230

Material type: 図書

Author: Association for Logic Programming.ほか

Publisher: Springer

Publication date: c2008.

Material Format: Paper

Capacity, size, etc.: xviii, 826 p. : ill. ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Papers and abstracts."The ICLP program included four tutorials (...) " -- pref.

Search by Bookstore

Bibliographic Record

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Paper

Material Type: 図書
ISBN: 9783540899815 (ISBN-13 : pbk.)
3540899812 (pbk.)
ISSN (series): 0302-9743
Title: Logic programming : 24th international conference, ICLP 2008 : Udine, Italy, December 9-13 2008 : proceedings. : Dec 2008, Udine, Italy.
Series Title: Lecture Notes in Computer Science ; 5366
Author Heading: Association for Logic Programming.
Banda, Maria Garcia de la.
Pontelli, Enrico, 1967-
International Conference on Logic Programming (24th : 2008 : Udine, Italy)
Publication, Distribution, etc.: Berlin : Springer
New York : Springer
Publication Date: c2008.
Publication Date (W3CDTF): 2008
Extent: xviii, 826 p. : ill. ; 24 cm.
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: Logic programming -- Congresses.
LCC: QA76.63
NDLC: M17
Note (General): Papers and abstracts.
"The ICLP program included four tutorials (...) " -- pref.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-09-1306
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000010076230
http://id.ndl.go.jp/bib/000010076230
LC Control Number: 2008940424
https://lccn.loc.gov/2008940424
OCLC No.: 277195596
https://www.worldcat.org/oclc/277195596
Bibliographic Record Category (NDL): 215