221. The implementation of Prolog /
پدیدآورنده : Patrice Boizumault ; co-translated by Ara M. Djamboulian and Jamal Fattouh.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Prolog (Computer program language),MATHEMATICS-- Linear & Nonlinear Programming.,Prolog (Computer program language)
رده :
QA76
.
73
.
P76
B65
1993eb
222. The mechanism and freedom of logic
پدیدآورنده : Granville C. Henry
کتابخانه: كتابخانه وزارت امور خارجه (تهران)
موضوع : Logic,Prolog (Computer program language)
223. Thinking as computation :
پدیدآورنده : Hector J. Levesque
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Computational intelligence
رده :
Q342
.
L48
2012
224. Third International Conference on Logic Programming, Imperial College of Science and Technology, London, United Kingdom, July 14-18, 1986 :
پدیدآورنده : edited by Ehud Shapiro.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Logic programming -- Congresses.,Logic programming.,Programmation logique -- Congrès.
رده :
QA76
.
6
E358
1986
225. Turbo Prolog owner's handbook
پدیدآورنده :
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Prolog )Computer program language(,، Turbo Prolog )Computer program(
رده :
QA
76
.
73
.
P76
T87
1986
226. Turbo prolog ower's bandbook
پدیدآورنده :
کتابخانه: كتابخانه پژوهشگاه نیرو (تهران)
موضوع : ، Prolog )computer program language(,، Turbo prolog
227. Turbo prolog: step by step, with Turbo Prolog 2.0
پدیدآورنده : Cafolla, Ralph
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Turbo prolog,، Prolog )Computer program language(
رده :
QA
76
.
73
.
P76
.
C34
1989
228. Turbo prolog user's guide: version 2.0
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Prolog )Computer program language(
رده :
QA
76
.
73
.
P7
.
T97
1988
229. Turbo prolog user's handbook :version 2.0
پدیدآورنده : Andrew Bradbury, Rory Woodward
موضوع : Prolog (Computer program language),Turbo prolog
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
230. Turbo prolog user's handbook : version 2.0
پدیدآورنده : Bradbury, Andrew
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Prolog )Computer program language(,، Turbo prolog
رده :
QA
76
.
73
.
P76
B73
1988
231. User-centred requirements for software engineering environments
پدیدآورنده : edited by David J. Gilmore, Russel L. Winder, Françoise Détienne.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Human-computer interaction.,Logiciels -- Développement.,Software engineering.
232. Using Turbo Prolog
پدیدآورنده : Rich, Kelly
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Prolog )Computer program language(,، Turbo Prolog )Computer program(
رده :
QA
76
.
73
.
P76
R43
1988
233. Using turbo prolog
پدیدآورنده : / by R. Kelley and P. Robinson
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Prolog (Computer program language),Computers programming
رده :
QA76
.
73
.
P76K42
1988
234. VLSI Prolog processor, design and methodology : a case study in high level language processor design
پدیدآورنده : Pierluigi Civera ... ]et al.[
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : Prolog )Computer program language( , Integrated circuits - Very large scale integration , Microprocessors
رده :
QA
76
.
73
.
P76
V58
1994
235. Web knowledge management and decision support :14th International Conference on Applications of Prolog, INAP 2001, Tokyo, Japan, October 20-22, 2001 : revised papers
پدیدآورنده : ]edited by[ Oskar Bartenstein ... ]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Prolog )Computer program language(,Congresses ، Knowledge management,Congresses ، Decision support systems,Congresses ، World Wide Web,Congresses ، Electronic data processing -- Distributed processing
رده :
QA
76
.
L28
Vol
.
2543