کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:
جستجوی کتابThe seventeen provers of the world
پدیدآورنده: / foreword by Dana S. Scott
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Proof theory--Data processing,Algebra--Computer programs
رده :
QA
,
155
.
7
,.
E4
,
S48
,
2006
The seventeen provers of the world
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Proof theory ; Data processing ; Algebra ; Computer programs ;
The seventeen provers of the world
پدیدآورنده: Freek Wiedijk )ed.(; foreword by Dana S. Scott
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Data processing ، Proof theory,Computer programs ، Algebra
رده :
QA
76
.
L28
Vol
.
3600
The seventeen provers of the world
پدیدآورنده: : Freek Wiedijk (ed.); foreword by Dana S. Scott.
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Algebra, -- Computer programs,a05,Proof theory Data processing.
رده :
QA155
.
7
.
E4
S48
2006
