کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:
جستجوی کتابComputational Logic and Set Theory
پدیدآورنده: / Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY
رده :
E-BOOK
Computational Logic and Set Theory: Applying Formalized Logic to Analysis
پدیدآورنده: / Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo (auth.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: METHODS&COMPUTER SCIENCE, THEORY
رده :
E-BOOK
Computational logic and set theory
پدیدآورنده: / Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Set theory
رده :
E-BOOK
Computational logic and set theory :
پدیدآورنده: Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Set theory
رده :
QA248
.
S39
2011eb
Computational logic and set theory
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)
موضوع: Set theory. ;
Computational logic and set theory
پدیدآورنده: / Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع: Set theory.
رده :
QA
,
248
,.
S364
,
2011
Computational logic and set theory applying formalized logic to analysis
پدیدآورنده: / Jacob T. Schwartz, Domenico Cantone, Eugenio G. Omodeo
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Set theory
رده :
QA248
.
S364
2011
