17th annual IEEE symposium on logic in computer science : proceedings : held in conjunction with the third federated logic conference : 22-25 July 2002 : Copenhagen, Denmark. : LICS 2002 : FLoC : Jul 2002, Copenhagen, Denmark.

• Material Type: 図書
• ISBN: 0769514839; 0769514855 (microfiche)
• ISSN: 1043-6871
• Title: 17th annual IEEE symposium on logic in computer science : proceedings : held in conjunction with the third federated logic conference : 22-25 July 2002 : Copenhagen, Denmark. : LICS 2002 : FLoC : Jul 2002, Copenhagen, Denmark.
• Author Heading: Symposium on Logic in Computer Science (17th : 2002 : Copenhagen, Denmark); Federated Logic Conference (3rd : 2002 : Copenhagen, Denmark)
• Publication, Distribution, etc.: Los Alamitos : IEEE Computer Society
• Publication Date: c2002.
• Publication Date (W3CDTF): 2002
• Extent: xiii, 461 p. : ill. ; 28 cm.
• Alternative Title: 17th annual IEEE symposium on logic in computer science : proceedings : held in conjunction with the 3rd federated logic conference : 22-25 July 2002 : Copenhagen, Denmark
• 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 PR01483.
• Note (Bibliography): Includes bibliographical references and author index.
• Note (Additional Physical Form Available): Also available via the World Wide Web.
• Holding library: 国立国会図書館
• Call No.: M17-03-4442
• Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書; https://ndlsearch.ndl.go.jp
• Bibliographic ID (NDL): 000004233776; http://id.ndl.go.jp/bib/000004233776
• RLIN No.: MOHG50264183-B
• Bibliographic Record Category (NDL): 215