کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:
جستجوی کتابBounded variable logics and counting
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Model theory. ; Computational complexity. ;

Bounded variable logics and counting
پدیدآورنده: / Martin Otto
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Model theory.,Computational complexity.
رده :
QA
,
9
.
7
,.
O88
,
1997


Bounded variable logics and counting : a study in finite models
پدیدآورنده: Otto, Martin, 1691-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Model theory,، Computational complexity
رده :
QA
9
.
A1L44
Vol
.
9

