NATIONAL BIBLIOGRAPHY NUMBER
Country Code
IR
Number
EN-32370
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
15, 2010. Proceedings-17, Yogyakarta, Indonesia, October 10-Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR
General Material Designation
[Book]
First Statement of Responsibility
/ ller, Andrei Voronkov (eds.)یKrishnendu Chatterjee, Laurent Doyen (auth.), Christian G. Ferm
fa
.PUBLICATION, DISTRIBUTION, ETC
Name of Publisher, Distributor, etc.
Verlag Berlin Heidelberg-Springer
Date of Publication, Distribution, etc.
, 2010.
NOTES PERTAINING TO PUBLICATION, DISTRIBUTION, ETC.
Text of Note
Electronic
TOPICAL NAME USED AS SUBJECT
COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
LIBRARY OF CONGRESS CLASSIFICATION
Class number
E-BOOK
PERSONAL NAME - PRIMARY RESPONSIBILITY
Krishnendu Chatterjee
ORIGINATING SOURCE
Country
ایران
ELECTRONIC LOCATION AND ACCESS
Host name
Logic for Programming, Artificial Intelligence, and Reasoning: 17th International Conference, LPAR-17, Yogyakarta, Indonesia, October 10-15, 2010. Proceedings
Access number
عادی
Compression information
محرمانه
Date and Hour of Consultation and Access
1543804.pdf
Electronic Format Type
متن
old catalog
e
BL
1
a
Y
