Logic programming : 25th international conference, ICLP 2009 : Pasadena, CA, USA, July 14-17, 2009 : proceedings. : Jul 2009, Pasadena, CA. (Lecture Notes in Computer Science ; 5649)

Logic programming : 25th international conference, ICLP 2009 : Pasadena, CA, USA, July 14-17, 2009 : proceedings. : Jul 2009, Pasadena, CA.

(Lecture Notes in Computer Science ; 5649)

Call No. (NDL): M17-10-1487
Bibliographic ID of National Diet Library: 000010619496

Material type: 図書

Author: Association for Logic Programming.ほか

Publisher: Springer

Publication date: c2009.

Material Format: Paper

Capacity, size, etc.: xvi, 564 p. : ill. ; 24 cm.

NDC: -

View All

Notes on use

Note (General)：: Selected papers and abstracts."The program also featured 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: 9783642028458 (ISBN-13 : pbk.)
3642028454 (pbk.)
ISSN (series): 0302-9743
Title: Logic programming : 25th international conference, ICLP 2009 : Pasadena, CA, USA, July 14-17, 2009 : proceedings. : Jul 2009, Pasadena, CA.
Series Title: Lecture Notes in Computer Science ; 5649
Title Heading: Lecture notes in computer science ; 5649.
Author Heading: Association for Logic Programming.
Hill, Patricia M.
Warren, David S.
International Conference on Logic Programming (25th : 2009 : Pasadena, CA)
Publication, Distribution, etc.: Berlin : Springer
Publication Date: c2009.
Publication Date (W3CDTF): 2009
Extent: xvi, 564 p. : ill. ; 24 cm.
Place of Publication (Country Code): DE
Text Language Code: eng
Subject Heading: Logic programming -- Congresses.
Logische Programmierung -- Kongress -- Pasadena <Calif., 2009>
DDC: 005.11522gerDNB
NDLC: M17
Note (General): Selected papers and abstracts.
"The program also featured four tutorials: (...) " -- pref.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-10-1487
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000010619496
http://id.ndl.go.jp/bib/000010619496
OCLC No.: 422688785
https://www.worldcat.org/oclc/422688785
Bibliographic Record Category (NDL): 215