کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:
جستجوی کتابAutomated deduction in equational logic and cubic curves
پدیدآورنده: W. McCune, R. Padmanabhan
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Automatic theorem proving,، Curves, Algebraic
رده :
QA
76
.
L28
Vol
.
1095


Automated deduction in equational logic and cubic curves
پدیدآورنده: / W. McCune, R. Padmanabhan
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Automatic theorem proving.,Curves, Algebraic.
رده :
QA
,
76
.
9
,.
A96
,
M38
,
1996


Automated deduction in equational logic and cubic curves
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Automatic theorem proving ; Curves, Algebraic ;
