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

جستجوی کتاب

Algebraic logic and universal algebra in computer science

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

موضوع: Logic, symbolic and mathematical

رده :
005
A394

Categories in Computer science and logic

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

موضوع: Electronic data processing- Mathematics ► Categorig (Mathematics)

رده :
004
C357

Computer science and multiple valued logic

پدیدآورنده:

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

موضوع: Switching theory,Logic circuits,Threshold logic,Many-valued logic

رده :
QA
268
.
5
.
C65

Computer science and multiple-valued logic

پدیدآورنده:

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

رده :
QA268
.
5
،.
C65
1984

Computer science and multiple valued logic

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)

موضوع: Switching theory►Logic circuits►Threshold logic►Many-valued logic

رده :
268
.
5
.
C65

Handbook of logic and proof techniques for computer science

پدیدآورنده:

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

موضوع: ، Computers,، Electronic data processing

رده :
QA
76
.
K7

Logic, Mathematics, and Computer Science

پدیدآورنده:

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

موضوع: LINGUISTICS AND LANGUAGE

Logic and computer science

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

موضوع: Logic, symbolic and mathematical ► Computer programs- Corretness

رده :
511
L832

Logic and computer science

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)

موضوع: Logic, Symbolic and mathematical- Congresses►Programming (Mathematics)- Congresses

رده :
3
.
L28
,
no
.

Logic and discrete mathematics : a computer science perspective

پدیدآورنده:

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع: Computer science - Mathematics

رده :
QA
76
.
9
.
M35
G725
1996

Logic and discrete mathematics: a computer science perspective

پدیدآورنده:

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

موضوع: Computer science- Mathematics

رده :
QA76
.
9
.
M35G725
1996

Logic and discrete mathematics: a computer science perspective

پدیدآورنده:

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع: Mathematics ، Computer science

رده :
QA
76
.
9
.
M35
G725
1996

Logic for Computer Science and Artificial Intelligence

پدیدآورنده:

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

موضوع: ART

Logic for mathematics and computer science‬

پدیدآورنده:

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

موضوع: Logic, Symbolic and mathematical

رده :
QA
،
9
،.
B86
،
1998

Logic for mathematics and computer science

پدیدآورنده:

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

موضوع: م‍ن‍طق‌ ری‍اض‍ی‌

رده :
QA
۹
/
ب
۴
ل
۲ ۱۳۷۷

Logic in computer science: modelling and reasoning about systems

پدیدآورنده:

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Computer logic,، Logic programming )Computer science(

رده :
QA
76
.
9
.
L63
.
H88
2004

Logic in computer science : modelling an​d reasoning about systems

پدیدآورنده:

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

موضوع: Computer logic ► Logic programming

رده :
005
H979l

Mathematical logic and theoretical computer science

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع: ، Logic, Symbolic and mathematical,، Electronic data processing,، Algebra

رده :
QA
9
.
2
.
M35
1987