کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:
جستجوی کتابFoundations of Logic Programming
پدیدآورنده: by John Wylie Lloyd.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.
رده :
QA76
.
6
B956
1984
Foundations of Logic and Functional Programming Workshop,Trento, Italy, December 15-19, 1986 : proceedings
پدیدآورنده: M. Boscarol, L. Carlucci Aiello, G. Levi )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Functional programming )Computer science(,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
306
Foundations of Logic and Functional Programming Workshop : Trento, Italy, December 15-19, 1986 : proceedings
پدیدآورنده: Foundations of Logic and Functional Programming Workshop, )6891, Trento, Italy(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Functional programming )Computer science(-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
76
.
6
.
F6858
1986
Foundations of deductive databases and logic programming
پدیدآورنده: contributors, Krzysztof R. Apt ... ]et al.[ ; edited by Jack Minker
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Deductive data bases , Logic programming
رده :
QA
76
.
9
.
D32
F68
1988
Foundations of equational logic programming
پدیدآورنده: Holldobler, Steffen
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Artificial intelligence
رده :
006
H737f
Foundations of equational logic programming
پدیدآورنده: Holldobler, Steffen
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic programming
رده :
QA
76
.
63
.
H65
1989
Foundations of equational logic programming
پدیدآورنده: Steffen Holldobler
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic programming
رده :
QA
76
.
L28
Vol
.
353
Foundations of inductive logic programming
پدیدآورنده: Nienhuys-Cheng, S. H. )Shan-Hwei(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Logic programming,، Machine learning,، Induction )Logic(
رده :
QA
76
.
63
.
N54
1997
Foundations of inductive logic programming
پدیدآورنده: / Shan-Hwei Nienhuys-Cheng, Ronald de Wolf
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Logic programming
رده :
QA
76
.
63
.
N5
1997
Foundations of inductive logic programming
پدیدآورنده: Shan-Hwei Nienhuys-Cheng, Ronald de Wolf
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic programming,، Machine learning,، Induction )Logic(
رده :
QA
76
.
L28
Vol
.
1228
Foundations of logic programming
پدیدآورنده: J.W. Lloyd
کتابخانه: کتابخانه مرکزی دانشگاه ولی عصر(عج) رفسنجان (کرمان)
موضوع: Logic programming,Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
6
.
L583
1987
Foundations of logic programming
پدیدآورنده: Lloyd, John Wylie
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Logic programming,، Programming languages )Electronic computers( - Semantics
رده :
QA
76
.
6
.
L583
1984
Foundations of logic programming
پدیدآورنده: Lloyd, J. W.)John Wylie(
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Logic programming,، Programming languages )Electronic computers( - Semantics
رده :
QA
76
.
6
.
L583
1987
Foundations of logic programming
پدیدآورنده: J.W. Lloyd
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Logic programming,، Programming languages )Electronic computers( -- Semantics
رده :
QA
76
.
6
.
L56
1987
Foundations of probabilistic logic programming :
پدیدآورنده: Fabrizio Riguzzi.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع: Logic programming.,Probabilities-- Data processing.,COMPUTERS-- Logic Design.,Logic programming.,Probabilities-- Data processing.
رده :
QA76
.
63
.
R54
2018
LISP, lore, and logic : an algebraic view of LISP programming, foundations, and applications
پدیدآورنده: / W. Richard Stark
کتابخانه: كتابخانه مركزی دانشگاه بين المللی امام خمينی (ره) قزوين (قزوین)
موضوع: LISP (Computer program language)
رده :
QA76
.
73
.
L23S72
1990
