図書

Logic in computer science 13th Annual symposium : Jun 1998, Indianapolis, IN.

Icons representing 図書

Logic in computer science 13th Annual symposium : Jun 1998, Indianapolis, IN.

Call No. (NDL)
M17-99-0979-LS
Bibliographic ID of National Diet Library
000003510900
Material type
図書
Author
Institute of Electrical and Electronics Engineers. Computer Society. Technical Committee on Mathematical Foundations of Computing.ほか
Publisher
IEEE Computer Society
Publication date
1998.
Material Format
Microform
Capacity, size, etc.
v.
NDC
-
View All

Notes on use

Note (General):

Papers and programme.Also known as LICS '98. Held on fiche. IEEE cat no 98CM36226.Index term: logic ; computer science ; IEEE ; LICS....

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.

Microform

Material Type
図書
ISBN
0818685069 (pbk)
0818685085 (microfiche)
ISSN
1043-6871
Publication, Distribution, etc.
Publication Date
1998.
Publication Date (W3CDTF)
1998
Extent
v.
Alternative Title
Also known as LICS '98. Held on fiche. IEEE cat no 98CM36226
logic ; computer science ; IEEE ; LICS