図書

Logic in computer science 10th Annual symposium : Jun 1995, San Diego, CA.

Icons representing 図書

Logic in computer science 10th Annual symposium : Jun 1995, San Diego, CA.

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

Notes on use

Note (General)：

Papers.Also known as LICS '95. Held on fiche. IEEE cat no 95CM35768.Index term: logic ; computer science ; LICS ; IEEE....

Search by Bookstore

Search by Bookstore

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
0818670509 (pbk)
078032563X
0780329996 (microfiche)
ISSN
1043-6871
Title
Logic in computer science 10th Annual symposium : Jun 1995, San Diego, CA.
Author Heading
Institute of Electrical and Electronics Engineers. Computer Society. Technical Committee on Mathematical Foundations of Computing.
Publication, Distribution, etc.
IEEE Computer Society Press
Publication Date
1995.
Publication Date (W3CDTF)
1995
Extent
v.
Alternative Title
Also known as LICS '95. Held on fiche. IEEE cat no 95CM35768
logic ; computer science ; LICS ; IEEE