عنوان
پدید آورنده
موضوع
رده
QA 75.5 .L64 1994
QA
75
.
5
.
L64
1994
کتابخانه
محل استقرار
H1
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Logical foundations of computer science : third international symposium, LFCS 94, St. Petersburg, Russia, July 11-14, 1994 : proceedings
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Berlin
Name of Publisher, Distributor, etc.
Springer-Verlag
Date of Publication, Distribution, etc.
1994
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
ix, 392 p
SERIES
Series Title
Lecture notes in computer science, 813
GENERAL NOTES
Text of Note
Includes bibliographical references
TOPICAL NAME USED AS SUBJECT
Entry Element
Computer science - Congresses
Entry Element
Logic, Symbolic and mathematical - Congresses
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
Book number
75
.
5
Classification Record Number
.
L64
1994
PERSONAL NAME - PRIMARY RESPONSIBILITY
Relator Code
TI
Entry Element
A. Nerode, Yuri V. Matiyasevich, eds
LOCATION AND CALL NUMBER
Shelving Form of Title, Author, Author/Title
English
