عنوان
پدید آورنده
موضوع
رده
BC199 .M6,A38 1998
BC199
.
M6
,
A38
1998
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
1575861038
(Number (ISBN
9812381791
Erroneous ISBN
157586102X
NATIONAL BIBLIOGRAPHY NUMBER
Country Code
IR
Number
EB23310
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
Advances in modal logic
General Material Designation
[Electronic Resource]
First Statement of Responsibility
/ edited by Marcus Kracht ... [et al.]
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Stanford, Calif.
Name of Publisher, Distributor, etc.
: CSLI Publications,
Date of Publication, Distribution, etc.
, c1998-.
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
v.
Other Physical Details
:<1-3 > ill. 23 cm.
SERIES
Series Title
(CSLI lecture notes
Volume Designation
; 87, 119)
GENERAL NOTES
Text of Note
Vol. 1 contains a selection of papers presented at the first AiML conference held at the Free University of Berlin, Oct. 1996; v. 2 contains a selection of papers presented at the second AiML conference held at Uppsala University, Oct. 1998; v. 3 contains a selection of papers presented at the third AiML conference held at University of Leipzig, Oct. 2000.
Text of Note
Vol. 3 has publisher: New Jersey : World Scientific.
NOTES PERTAINING TO PUBLICATION, DISTRIBUTION, ETC.
Text of Note
e
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
ng
Text of Note
Includes bibliographical references and indexes.
SERIES
Title
CSLI lecture notes ;no. 87, 119
TOPICAL NAME USED AS SUBJECT
Modality (Logic)- Congresses
DEWEY DECIMAL CLASSIFICATION
Number
160
LIBRARY OF CONGRESS CLASSIFICATION
Class number
BC199
Book number
.
M6
,
A38
1998
PERSONAL NAME - SECONDARY RESPONSIBILITY
Kracht, Marcus
ORIGINATING SOURCE
Country
ایران
ELECTRONIC LOCATION AND ACCESS
Host name
9812381791.djvu
Access number
محرمانه
Compression information
محرمانه
Electronic name
9812381791.djvu
Bits per second
0
Electronic Format Type
متن
old catalog
e
BL
1
a
Y
