کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:
جستجوی کتابFrom Logic Design to Logic Programming:
پدیدآورنده: D Snyers
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Computer logic.,Computer programming.,Computer science.
رده :
QA76
.
9
.
A96
D769
1987
From Logic Programming to Prolog
پدیدآورنده: / Krzysztof R. Apt
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: Lagic Programming,Prolog ( Computer Program Language )
رده :
QA76/63/
.
A67
From logic design to logic programming : theorem proving techniques and P-functions
پدیدآورنده: Dominique Snyers, Andre Thayse
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Automatic theorem proving,، Computer algorithms,، Logic programming
رده :
QA
76
.
L28
Vol
.
271
From logic programming to Prolog
پدیدآورنده: Apt, Krzysztof R.
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic programming,، Prolog )Computer program language(
رده :
QA
76
.
63
.
A67
1996
From logic programming to Prolog
پدیدآورنده: Apt, Krzysztof R.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Logic programming , Prolog )Computer program language(
رده :
QA
76
.
63
.
A67
1997
From logic programming to Prolog
پدیدآورنده: / Krzysztof R. Apt
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Logic programming,Prolog (Computer program language)
رده :
QA
76
.
73
.
A67
1996
From logic programming to prolog.
پدیدآورنده: / Krzysztof R.Apt
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع: Logic programming,Prolg(Computer program language)
رده :
QA
76
.
63
.
A67
1996
From logic to logic programming
پدیدآورنده: / Kees Doets
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Logic programming
رده :
QA
76
.
63
.
D64
1994
From logic to logic programming /
پدیدآورنده: Kees Doets
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic programming
رده :
QA76
.
63
.
D64
1994
Solving higher-order equations: from logic to programming
پدیدآورنده: Prehofer, Christian
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer logic,، Declarative programming,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
L63
.
P74
1997
