Logic in computer science 6th Annual symposium : Jul 1991, Amsterdam, The Netherlands.

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

Notes on use

Note (General)：: Papers.Also known as LICS '91. Held on fiche. IEEE cat no 91CM3025-4.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: 0818622326
081862230X (pbk)
0818622318 (microfiche)
Title: Logic in computer science 6th Annual symposium : Jul 1991, Amsterdam, The Netherlands.
Author Heading: Institute of Electrical and Electronics Engineers. Computer Society. Technical Committee on Mathematical Foundation of Computing.
Publication, Distribution, etc.: IEEE
Publication Date: 1991.
Publication Date (W3CDTF): 1991
Extent: v.
Alternative Title: Also known as LICS '91. Held on fiche. IEEE cat no 91CM3025-4
logic ; computer science ; IEEE ; LICS
Note (Material Type): [microform]
NDLC: M17
M151
Note (General): Papers.
Also known as LICS '91. Held on fiche. IEEE cat no 91CM3025-4.
Index term: logic ; computer science ; IEEE ; LICS.
BL shelfmark: 1086.2345 6th 1991.
Holding library: 国立国会図書館
Call No.: M17-92-2819-LS
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000003488476
http://id.ndl.go.jp/bib/000003488476
UKMARC No.: G01752289
Bibliographic Record Category (NDL): 215