عنوان
پدید آورنده
موضوع
رده
QA 76.6 .L6 2015 E-Book ,
QA
76
.
6
.
L6
2015
E-Book
,
کتابخانه
محل استقرار
:9783319178219
12581
انگلیسی
Logic-Based Program Synthesis and Transformation
[electronic resources]
: 24th International Symposium, LOPSTR 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers
\ [edited by] Maurizio Proietti, Hirohisa Seki.
New York
: Springer
, 2015.
1505
xii,[332] p.
Lecture notes in computer science
; 8981
Index
Bibliography
Logic programming -- Congresses.
Computer logic -- Congresses.
Computer software -- Development -- Congresses.
برنامهنویسی منطقی -- کنگرهها
منطق کامپیوتری -- کنگره ها
نرمافزار -- تولید -- کنگره ها
QA
76
.
6
.
L6
2015
E-Book
,
Proietti, Maurizio, 1959-
Seki, Hirohisa
LOPSTR (Symposium) (24th : 2014 : Canterbury, England)
ایران
20160929064221.0
rda
9783319178219.pdf
http://www.loc.gov/catdir/enhancements/fy1509/2015937958-t.html
http://www.loc.gov/catdir/enhancements/fy1509/2015937958-d.html
BL
279177
1
Y
