عنوان
پدید آورنده
موضوع
رده
QA75.5 .I64 2011eb
QA75
.
5
.
I64
2011eb
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
3642315704 (electronic bk.)
(Number (ISBN
9783642315701 (electronic bk.)
Erroneous ISBN
3642315690
Erroneous ISBN
9783642315695
NATIONAL BIBLIOGRAPHY NUMBER
Number
b434703
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Deontic logic in computer science
General Material Designation
[Book]
Other Title Information
11th International Conference, DEON 2012, Bergen, Norway, July 16-18, 2012 : proceedings /
First Statement of Responsibility
Thomas Ågotnes, Jan Broersen, Dag Elgesem (eds.)
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
New York :
Name of Publisher, Distributor, etc.
Springer,
Date of Publication, Distribution, etc.
c2012
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
1 online resource (xii, 214 p.) :
Other Physical Details
ill
SERIES
Series Title
Lecture notes in artificial intelligence
Series Title
LNCS sublibrary. SL 7, Artificial intelligence
Volume Designation
7393.
ISSN of Series
1611-3349 ;
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Includes bibliographical references and index
OTHER EDITION IN ANOTHER MEDIUM
Title
Deontic logic in computer science.
PIECE
Title
OhioLINK electronic book center (Online)
Title
SpringerLink
PARALLEL TITLE PROPER
Parallel Title
DEON 2012
TOPICAL NAME USED AS SUBJECT
Computer logic, Congresses
Deontic logic, Congresses
DEWEY DECIMAL CLASSIFICATION
Number
005
.
101/5113
Edition
23
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA75
.
5
Class number
QA75
.
5
Book number
.
I64
2011eb
Book number
.
I64
2011eb
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Ågotnes, Thomas
Broersen, Jan
Elgesem, Dag
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
International Conference on Deontic Logic in Computer Science(11th :2012 :, Bergen, Norway)
ORIGINATING SOURCE
Date of Transaction
20130201102000.0
ELECTRONIC LOCATION AND ACCESS
Electronic name
مطالعه متن کتاب [Book]
Y
