Twenty-third annual IEEE symposium on logic in computer science : proceedings : 24-27 June 2008 : Pittsburgh, Pennsylvania. : joint CSF/LICS : LICS 2008 conference : Jun 2008, Pittsburgh, PA.

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

Material type: 図書

Author: Symposium on Logic in Computer Science (23rd : 2008 : Pittsburgh, Pa.)

Publisher: IEEE Computer Society

Publication date: c2008.

Material Format: Paper

Capacity, size, etc.: xiv, 512 p. : ill. ; 28 cm.

NDC: -

View All

Notes on use

Note (General)：: Papers.IEEE cat no P3183 (t.p. verso) , CFP08039-PRT.

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: 9780769531830
ISSN: 1043-6871
Title: Twenty-third annual IEEE symposium on logic in computer science : proceedings : 24-27 June 2008 : Pittsburgh, Pennsylvania. : joint CSF/LICS : LICS 2008 conference : Jun 2008, Pittsburgh, PA.
Author Heading: Symposium on Logic in Computer Science (23rd : 2008 : Pittsburgh, Pa.)
Publication, Distribution, etc.: Los Alamitos : IEEE Computer Society
Publication Date: c2008.
Publication Date (W3CDTF): 2008
Extent: xiv, 512 p. : ill. ; 28 cm.
Alternative Title: 23rd annual IEEE symposium on logic in computer science : proceedings : 24-27 June 2008 : Pittsburgh, Pennsylvania
Twenty-third annual IEEE symposium on logic in computer science : (LICS 2008) : Pittsburgh, Pennsylvania : 24-27 June 2008
Place of Publication (Country Code): US
Text Language Code: eng
Subject Heading: Computer science -- Mathematics -- Congresses.
Logic, Symbolic and mathematical -- Congresses.
NDLC: M17
Note (General): Papers.
IEEE cat no P3183 (t.p. verso) , CFP08039-PRT.
Note (Bibliography): Includes bibliographical references and author index.
Holding library: 国立国会図書館
Call No.: M17-09-522
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000009920404
http://id.ndl.go.jp/bib/000009920404
OCLC No.: 257599114
https://www.worldcat.org/oclc/257599114
Bibliographic Record Category (NDL): 215