کد مقاله کد نشریه سال انتشار مقاله انگلیسی نسخه تمام متن
4663131 1345230 2006 7 صفحه PDF دانلود رایگان
عنوان انگلیسی مقاله ISI
Towards computer aided mathematics
موضوعات مرتبط
مهندسی و علوم پایه ریاضیات منطق ریاضی
پیش نمایش صفحه اول مقاله
Towards computer aided mathematics
ناشر
Database: Elsevier - ScienceDirect (ساینس دایرکت)
Journal: Journal of Applied Logic - Volume 4, Issue 4, December 2006, Pages 359-365
نویسندگان
,