9783642366758
IR
EN-37030
انگلیسی
IR
Automated Reasoning and Mathematics
[Book]
/ Maria Paola Bonacina, Mark E. Stickel
Springer
, 2013.
Electronic
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ROBOTICS
E-BOOK
Maria Paola Bonacina
ایران
Automated Reasoning and Mathematics
محرمانه
محرمانه
974301.pdf
متن
old catalog
e
BL
1
a
Y
