عنوان
پدید آورنده
موضوع
رده
QA 9 .A1 F7 2015 E-Book ,
QA
9
.
A1
F7
2015
E-Book
,
کتابخانه
محل استقرار
:9783319242453
13736
انگلیسی
Frontiers of Combining Systems
[electronic resources]
: 10th International Symposium, FroCoS 2015 Wroclaw, Poland, September 21–24, 2015 Proceedings
\ Carsten Lutz, Silvio Ranise (eds.).
Cham
: Springer
, 2015
1 online resource (xv, 340 pages)
:illustrations
Lecture notes in computer science. Lecture notes in artificial intelligence
LNCS sublibrary. SL 7, Artificial intelligence
; 9322
International conference proceedings.
Index
Bibliography
Logic, symbolic and mathematical
منطق ریاضی
-- Congresses
-- کنگرهها
a01
a01
QA
9
.
A1
F7
2015
E-Book
,
Lutz, Carsten, 1971- editor
Ranise, Silvio, editor
FroCoS (Symposium) (10th : 2015 : Wrocław, Poland)
ایران
20170209
9783319242453.pdf
p
BL
279177
1
a
Y
