عنوان
پدید آورنده
موضوع
رده
QA76،.M352 1981
QA76
،.
M352
1981
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
0444854401
NATIONAL BIBLIOGRAPHY NUMBER
Country Code
IR
Number
15687
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
COUNTRY OF PUBLICATION OR PRODUCTlON
Country of publication
IR
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Mathematical logic in computer science
General Material Designation
[Book]
First Statement of Responsibility
/ edited by B. Domolki and T. Gergely
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Amsterdam ; New York
Date of Publication, Distribution, etc.
, .1981.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
758 p.
Other Physical Details
:, ill.
SERIES
Series Title
(Colloquia mathematica societatis Janos Bolyai,0139-3383
Volume Designation
; 26)
GENERAL NOTES
Text of Note
Papers presented at the Colloquium on Mathematical Logic in Computer Science held in Salgotarjan, September 10-15, 1978 under the auspices of Bolyai Janos Mathematical Society.
NOTES PERTAINING TO PUBLICATION, DISTRIBUTION, ETC.
Text of Note
Print
TOPICAL NAME USED AS SUBJECT
Computer programming
Programming languages (Electronic computers) - Semantics
DEWEY DECIMAL CLASSIFICATION
Number
519
.
4
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA76
Book number
.
M352
1981
PERSONAL NAME - SECONDARY RESPONSIBILITY
Domolki, B
Gergely, T.(Tamas)
Colloquium on Mathematical Logic in Computer Science(1978 : Salgotarjan, Hungary)
Bolyai Janos Mathematikai Tarsulat
ORIGINATING SOURCE
Country
ایران
Agency
Central Library and Documentation Center
old catalog
p
BL
1
a
Y
