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

جستجوی کتاب

<A> Computational Logic

پدیدآورنده:

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

موضوع: Automatic theorem proving.

رده :
E-Book
,

A computational logic

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

موضوع: Automatic theorem proving. ;

A computational logic

پدیدآورنده:

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

موضوع: ، Automatic theorem proving

رده :
QA
76
.
9
.
A96B68

A computational logic

پدیدآورنده:

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

موضوع: Automatic theorem proving

رده :
QA76
.
9
.
A96B68

A computational logic

پدیدآورنده:

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

موضوع: Automatic theorem proving

رده :
QA
,
76
.
9
,.
A96
,
B68

A computational logic handbook

پدیدآورنده:

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

موضوع: AUTOMATIC THEOREM PROVING , LOGIC,SYMBOLIC & MATHEMATICAL

رده :
QA
76
.
9
.
A96
B684

Computational logic : logic programming and beyond : essays in honor of Robert A. Kowalski

پدیدآورنده:

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

موضوع: ، Logic programming,، Automatic theorem proving,، Logic programming languages,، Kowalski, Robert

رده :
QA
76
.
L28
Vol
.
2407-2408

Digital logic/Computational integrated circuits D. A. T. A. book

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

موضوع: ، Electronic digital computers

رده :
QA
76
.
5
.
D47

Program development in computational logic : a decade of research advances in logic-based program development

پدیدآورنده:

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

موضوع: Congresses ، Logic programming,Congresses ، Computer programming,Congresses ، Computer logic

رده :
QA
76
.
L28
Vol
.
3049

TIME & LOGIC: A Computational Approach

پدیدآورنده:

کتابخانه: كتابخانه دانشگاه مفيد (قم)

رده :
QA
75
.
5
.
B6
T5
1995