Logic in computer science 5th Annual symposium : Jun 1990, Philadelphia, PA.

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

Notes on use

Note (General)：: Papers.Held on fiche. IEEE cat no 90CM2897-7. Also known as LICS.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: 0818660732 (microfiche)
Title: Logic in computer science 5th Annual symposium : Jun 1990, Philadelphia, PA.
Author Heading: Institute of Electrical and Electronics Engineers. Computer Society. Technical Committee on Mathematical Foundations of Computing.
Association for Computing Machinery. Special Interest Group on Automata and Computability Theory.
Association for Symbolic Logic.
Publication, Distribution, etc.: IEEE
Publication Date: 1990.
Publication Date (W3CDTF): 1990
Extent: v.
Alternative Title: Held on fiche. IEEE cat no 90CM2897-7. Also known as LICS
logic ; computer science ; IEEE ; LICS
Note (Material Type): [microform]
NDLC: M17
M151
Note (General): Papers.
Held on fiche. IEEE cat no 90CM2897-7. Also known as LICS.
Index term: logic ; computer science ; IEEE ; LICS.
BL shelfmark: 1086.2345 5th 1990.
Holding library: 国立国会図書館
Call No.: M17-91-0596-LS
Data Provider (Database): 国立国会図書館 : 国立国会図書館蔵書
https://ndlsearch.ndl.go.jp
Bibliographic ID (NDL): 000003484698
http://id.ndl.go.jp/bib/000003484698
UKMARC No.: G01525386
Bibliographic Record Category (NDL): 215