عنوان
پدید آورنده
موضوع
رده
QA 75.5 .I38 2000
QA
75
.
5
.
I38
2000
کتابخانه
محل استقرار
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Proceedings : 15th annual Symposium on Logic in Computer Science, June 26-28, 2000, Santa Barbara, California
EDITION STATEMENT
Statement of Responsibility Relating to Edition
15th: 2000 : Santa Barbara, Calif.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Los Alamitos, Calif.
Name of Publisher, Distributor, etc.
IEEE Computer Society
Date of Publication, Distribution, etc.
c2000
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xiii, 425 p.: ill.
GENERAL NOTES
Text of Note
Includes bibliographies
Text of Note
ISBN: 0769507255
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
sponsored by IEEE Computer Society Technical Committee on the Mathematical Foundations of Computing; in cooperation with Association for Symbolic Logic and European Association for Theoretical Computer Science; with support from Kestrel Institute,...
ORIGINAL VERSION NOTE
Text of Note
1
TOPICAL NAME USED AS SUBJECT
Entry Element
Congresses ، Computer science -- Mathematics
Entry Element
Congresses ، Logic, Symbolic and mathematical
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
75
.
5
.
I38
2000
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
CO Institute of Electrical and Electronics Engineers
CO IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
CO Association for Symbolic Logic
CO European Association for Theoretical Computer Science
TI
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
Entry Element
IEEE Symposium on Logic in Computer Science
