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

جستجوی کتاب

Symbolic Logic and mechanical theorem proving

پدیدآورنده:

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

موضوع: ، Logic, Symbolic and mathematical,، Automatic theorem proving,، Artificial intelligence

رده :
QA
9
.
C53
1987

Symbolic logic and mechanical theorem proving

پدیدآورنده:

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

موضوع: Logic, Symbolic and mathematical,Automatic theorem proving,Artificial intelligence

رده :
QA9
.
C483
1987

Symbolic logic and mechanical theorem proving

پدیدآورنده:

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

موضوع: Logic, Symbolic and mathematical►Automatic theorem proving►Artificial intelligence

رده :
9
.
C49

Symbolic logic and mechanical theorem proving

پدیدآورنده:

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

موضوع: Logic, Symbolic and mathematical,Automatic theorem proving,Artificial intelligence

رده :
QA9
.
C483

#Symbolic logic and mechanical theorem proving

پدیدآورنده:

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

موضوع: ، Logic, Symbolic and mathemaical,، Automatic theorem proving,، Artificial intelligence

رده :
QA
9
.
C49