کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:

جستجوی کتاب

Bounded variable logics and counting

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع: Model theory. ; Computational complexity. ;

Bounded variable logics and counting

پدیدآورنده:

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع: Model theory.,Computational complexity.

رده :
QA
,
9
.
7
,.
O88
,
1997

Bounded variable logics and counting : a study in finite models

پدیدآورنده:

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع: ، Model theory,، Computational complexity

رده :
QA
9
.
A1L44
Vol
.
9