عنوان
پدید آورنده
موضوع
رده
QA 75 .5 .S9574a
QA
75
.
5
.
S9574a
کتابخانه
محل استقرار
OTHER STANDARD IDENTIFIER
Standard Number
136405
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
بهار۳۸
.Language of Text, Soundtrack etc
English
TITLE AND STATEMENT OF RESPONSIBILITY
General Material Designation
)91(
Title Proper
Proceedings
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Washington, D.C.
Name of Publisher, Distributor, etc.
IEEE Computer Society Press
Date of Publication, Distribution, etc.
1986-
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
v.: ill.; 28 cm
GENERAL NOTES
Text of Note
Published: Los Alamitos, CA, 1990-
TOPICAL NAME USED AS SUBJECT
Entry Element
Congresses ، Computer science
Entry Element
Congresses ، Computer programming
Entry Element
Congresses ، Logic, Symbolic and mathematical
Entry Element
Correctness ، Computer programs
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
75
.
5
.
S9574a
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
AU
Entry Element
Symposium on Logic in Computer Science
CO IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing
CO Association for Symbolic Logic
CO ACM Special Interest Group for Automata and Computability Theory
CO European Association for Theoretical Computer Science
TI
CORPORATE BODY NAME - SECONDARY RESPONSIBILITY
Entry Element
Symposium on Logic in Computer Science
LOCATION AND CALL NUMBER
Shelving Form of Title, Author, Author/Title
129
