کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:
جستجوی کتابSymbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium
پدیدآورنده: CALCULEMUS-2000 Symposium, Scotland, 2000
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Algebra- Data processing- Congresses ► Automatic theorem proving- Congresses
رده :
512
C144s
Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium
پدیدآورنده: edited by Manfred Kerber and Michael Kohlhase
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Data processing -- Congresses ، Algebra,Congresses ، Automatic theorem proving
رده :
QA
155
.
7
.
E4C23
2000
Symbolic computation and automated reasoning : the CALCULEMUS-2000 Symposium
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: Congresses ، Algebra-- Data processing,Congresses ، Automatic theorem proving
رده :
QA
155
.
7
.
E4
.
C35
2000
