عنوان
پدید آورنده
موضوع
رده
QA 76.6 .S9393 2001
QA
76
.
6
.
S9393
2001
کتابخانه
محل استقرار
استان: Khorasan Razavi ـ شهر: Mashhad
OTHER STANDARD IDENTIFIER
Standard Number
24351
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Logic in computer science: proceedings: 16th Annual IEEE Symposium on Logic in Computer Science, 16-19 June 2001, Boston, Massachusetts
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Los Alamitos, Calif.
Name of Publisher, Distributor, etc.
IEEE Computer Society
Date of Publication, Distribution, etc.
2001
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xii, 441p.: ill
GENERAL NOTES
Text of Note
"IEEE Computer Society Order Number PR01218" - verso of t.p
Text of Note
Includes biblographical references and index
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
TOPICAL NAME USED AS SUBJECT
Entry Element
Mathematics - Congresses ، Computer science
Entry Element
Congresses ، Logic, Symbolic and mathematical
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
76
.
6
.
S9393
2001
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
CO IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
TI
CORPORATE BODY NAME - SECONDARY RESPONSIBILITY
Entry Element
Symposium on Logic in Computer Science )16th: 2001: Boston, Mass.(
LOCATION AND CALL NUMBER
Call Number Suffix
CL
