عنوان
پدید آورنده
موضوع
رده
QA 76 .L6 1992
QA
76
.
L6
1992
کتابخانه
محل استقرار
NATIONAL BIBLIOGRAPHY NUMBER
Number
02BL0000000002508
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Logical foundations of computer science--Tver '92
First Statement of Responsibility
A. Nerode, M. Taitslin )eds.(.
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin ;
Place of Publication, Distribution, etc.
New York
Name of Publisher, Distributor, etc.
Springer-Verlag
Date of Publication, Distribution, etc.
c1992
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
ix, 514 p. : ill. ; 24 cm.
Other Physical Details
, 2508 , 2-1
SERIES
Series Title
Lecture notes in computer science ; 620
NOTES PERTAINING TO TITLE AND STATEMENT OF RESPONSIBILITY
Text of Note
second international symposium, Tver, Russia, July 20-24, 1992 proceedings /
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references.
TOPICAL NAME USED AS SUBJECT
Entry Element
Computers -- Congresses
Entry Element
Electronic data processing -- Congresses
Entry Element
Logic, Symbolic and mathematical -- Congresses
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
Book number
76
Classification Record Number
.
L6
1992
PERSONAL NAME - SECONDARY RESPONSIBILITY
Relator Code
AU
Relator Code
AU
Entry Element
Nerode, Anil, 1932-
Entry Element
Taitslin, M. A. )Mikhail A.(, 1936-
