عنوان
پدید آورنده
موضوع
رده
QA 75.5 .L66 2015 E-Book ,
QA
75
.
5
.
L66
2015
E-Book
,
کتابخانه
محل استقرار
INTERNATIONAL STANDARD BOOK NUMBER
(Number (ISBN
:9783662488980
NATIONAL BIBLIOGRAPHY NUMBER
Number
14001
LANGUAGE OF THE ITEM
.Language of Text, Soundtrack etc
انگلیسی
TITLE AND STATEMENT OF RESPONSIBILITY
Title Proper
Logic for Programming, Artificial Intelligence, and Reasoning
General Material Designation
[electronic resources]
Other Title Information
: 20th International Conference, LPAR-20 2015 Suva, Fiji, November 24–28, 2015 Proceedings
First Statement of Responsibility
\ Martin Davis, ... [et al.] (eds.)
.PUBLICATION, DISTRIBUTION, ETC
Place of Publication, Distribution, etc.
Heidelberg
Name of Publisher, Distributor, etc.
: Springer
Date of Publication, Distribution, etc.
, 2015
PROJECTED PUBLICATION DATE
Date
1512
PHYSICAL DESCRIPTION
Specific Material Designation and Extent of Item
xv, 637 pages
Other Physical Details
:illustrations
SERIES
Series Title
Lecture notes in computer science
Volume Designation
; 9450
INTERNAL BIBLIOGRAPHIES/INDEXES NOTE
Text of Note
Bibliography
Text of Note
Index
TOPICAL NAME USED AS SUBJECT
Computer logic -- Congresses
Computer science
منطق کامپیوتری -- کنگره ها
علوم کامپیوتر
LIBRARY OF CONGRESS CLASSIFICATION
Class number
QA
75
.
5
Book number
.
L66
2015
E-Book
,
PERSONAL NAME - ALTERNATIVE RESPONSIBILITY
Davis, Martin, Editor
CORPORATE BODY NAME - PRIMARY RESPONSIBILITY
LPAR (Conference) (20th : 2015 : Suva, Fiji)
ORIGINATING SOURCE
Country
ایران
Date of Transaction
20190920143806.0
Cataloguing Rules (Descriptive Conventions))
rda
ELECTRONIC LOCATION AND ACCESS
Date and Hour of Consultation and Access
9783662488980.pdf
Uniform Resource Identifier
http://www.loc.gov/catdir/enhancements/fy1603/2015954999-d.html
BL
279177
1
Y
