9783319085876
IR
EN-11379
انگلیسی
IR
Automated Reasoning
[Book]
/ phane Demri, Deepak Kapur, Christoph WeidenbachفSt
fa
Springer
, 2014.
Electronic
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
E-BOOK
phane DemriفSt
ایران
Automated Reasoning
عادی
محرمانه
931062.pdf
متن
old catalog
e
BL
1
a
Y
