Logic in computer science 14th Symposium : Jul 1999, Trento, Italy.

Author: Institute of Electrical and Electronics Engineers. Computer Society. Technical Committee on Mathematical Foundations of Computing.

Notes on use

Note (General)：: Papers.Also known as LICS '90. Held on fiche. IEEE cat no 99CM36332.Index term: logic ; computer science ; IEEE ; LICS....

Search by Bookstore

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

Material Type: 図書
ISBN: 0769501583 (pbk)
0780357701
0769501605 (microfiche)
ISSN: 1043-6871
Title: Logic in computer science 14th Symposium : Jul 1999, Trento, Italy.
Author Heading: Institute of Electrical and Electronics Engineers. Computer Society. Technical Committee on Mathematical Foundations of Computing.
Publication, Distribution, etc.: IEEE Computer Society
Publication Date: 1999.
Publication Date (W3CDTF): 1999
Extent: v.
Alternative Title: Also known as LICS '90. Held on fiche. IEEE cat no 99CM36332
logic ; computer science ; IEEE ; LICS
Note (Material Type): [microform]
NDLC: M17
M154
Note (General): Papers.
Also known as LICS '90. Held on fiche. IEEE cat no 99CM36332.
Index term: logic ; computer science ; IEEE ; LICS.
BL shelfmark: 1086.2345 14th 1999.
Holding library: 国立国会図書館
Call No.: M17-99-2205-LS
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000003510983
http://id.ndl.go.jp/bib/000003510983
UKMARC No.: G05854856
Bibliographic Record Category (NDL): 215