عنوان
پدید آورنده
موضوع
رده
QA 75.5 .L66 2015 E-Book ,
QA
75
.
5
.
L66
2015
E-Book
,
کتابخانه
محل استقرار
:9783662488980
14001
انگلیسی
Logic for Programming, Artificial Intelligence, and Reasoning
[electronic resources]
: 20th International Conference, LPAR-20 2015 Suva, Fiji, November 24–28, 2015 Proceedings
\ Martin Davis, ... [et al.] (eds.)
Heidelberg
: Springer
, 2015
1512
xv, 637 pages
:illustrations
Lecture notes in computer science
; 9450
Bibliography
Index
Computer logic -- Congresses
Computer science
منطق کامپیوتری -- کنگره ها
علوم کامپیوتر
QA
75
.
5
.
L66
2015
E-Book
,
Davis, Martin, Editor
LPAR (Conference) (20th : 2015 : Suva, Fiji)
ایران
20190920143806.0
rda
9783662488980.pdf
http://www.loc.gov/catdir/enhancements/fy1603/2015954999-d.html
BL
279177
1
Y
