IR
EN-32369
انگلیسی
IR
May 1, 2010, Revised Selected Papersع۰ب16, Dakar, Senegal, April 25-Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR
[Book]
/ Geoff Sutcliffe (auth.), Edmund M. Clarke, Andrei Voronkov (eds.)
fa
Verlag Berlin Heidelberg-Springer
, 2010.
Electronic
COMPUTER SCIENCE, SOFTWARE ENGINEERING|ENGINEERING, MULTIDISCIPLINARY
E-BOOK
Geoff Sutcliffe (auth.)
ایران
Logic for Programming, Artificial Intelligence, and Reasoning: 16th International Conference, LPAR-16, Dakar, Senegal, April 25ع??May 1, 2010, Revised Selected Papers
عادی
محرمانه
1543802.pdf
متن
old catalog
e
BL
1
a
Y
