عنوان
پدید آورنده
موضوع
رده
QA 76.63 .L6 2015 E-Book ,
QA
76
.
63
.
L6
2015
E-Book
,
کتابخانه
محل استقرار
:9783319274355
12681
انگلیسی
Logic-Based Program Synthesis and Transformation
[electronic resources]
: 25th International Symposium, LOPSTR 2015 Siena, Italy, July 13–15, 2015 Revised Selected Papers
\ Moreno Falaschi (Ed.)
Cham
: Springer
, 2015
xvii,[384] p.
:ill
Lecture Notes in Computer Science
; 9527
Index
Bibliography
Logic programming -- Congresses.
Computer logic -- Congresses
Computer software -- Development -- Congresses.
برنامهنویسی منطقی -- کنگرهها
منطق کامپیوتری -- کنگره ها
نرمافزار -- تولید -- کنگره ها
QA
76
.
63
.
L6
2015
E-Book
,
Falaschi, Moreno
LOPSTR (Symposium) (25th : 2015 : Siena, Italy)
ایران
20191019
9783319274355.pdf
p
BL
279177
1
a
Y
