عرض القائمة
الرئیسیة
البحث المتقدم
قائمة المکتبات
عنوان
Automated Deduction in Geometry
پدید آورنده
/ Francisco Botana, Pedro Quaresma
موضوع
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده
E-BOOK
کتابخانه
المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية
محل استقرار
استان:
أذربایجان الشرقیة
ـ شهر:
تماس با کتابخانه :
04133443834
9783319213620
IR
EN-5230
انگلیسی
IR
Automated Deduction in Geometry
[Book]
/ Francisco Botana, Pedro Quaresma
Springer
, 2015.
Electronic
COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
E-BOOK
Francisco Botana
ایران
Automated Deduction in Geometry
عادی
محرمانه
932142.pdf
متن
old catalog
e
BL
1
a
Y
الاقتراح / اعلان الخلل
×
الاقتراح / اعلان الخلل
×
تحذیر!
دقق في تسجیل المعلومات
اعلان الخلل
اقتراح