عنوان
پدید آورنده
موضوع
رده
QA 76.9 .M35 S94 1994
QA
76
.
9
.
M35
S94
1994
کتابخانه
محل استقرار
CE O
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Proceedings Symposium on Logic in Computer Science, LICS 94, CNAM, paris France, July 4-7, 1994
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Los Alamitos, Calif.
Name of Publisher, Distributor, etc.
IEEE Computer Society Press
Date of Publication, Distribution, etc.
1994
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xii, 517 p. : ill
GENERAL NOTES
Text of Note
Cover title; 1994 IEEE 9th Annual Symposium on Logic in Computer Science
Text of Note
Includes bibliographical references and index
TOPICAL NAME USED AS SUBJECT
Entry Element
Computer science - Mathematics - Congresses
Entry Element
Logic, Symbolic and mathematical - Congresses
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
Book number
76
.
9
Classification Record Number
.
M35
S94
1994
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
Entry Element
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing INRIA
CORPORATE BODY NAME - SECONDARY RESPONSIBILITY
Entry Element
Symposium on Logic in Computer Science, )9th : 1994 : Paris, France(
LOCATION AND CALL NUMBER
Shelving Form of Title, Author, Author/Title
Englis
