301. Natural language understanding and logic programming, II. : Proceedings of the...17-19 Aug., 1987
پدیدآورنده : edited by Veronica Dahl and Patrick Saint-Dizier
کتابخانه: (طهران)
موضوع : Congresses ، Programming languages )Electronic computers( -- Semantics,Congresses ، Logic programming
رده :
QA
76
.
63
.
I58
1987
302. Natural language understanding and logic programming , III
پدیدآورنده : / edited by Charles Grant Brown, Gregers Koch
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع : Logic programming -- Congresses,Natural language processing(Computer science) -- Congresses
رده :
QA
76
.
63
.
I58
1991
303. Natural language understanding and logic programming, III : Proceedings of the third International Workshop on Natural Language Understanding and Logic Programming, Stockholm, Sweden, 23-25 Jan., 1991
پدیدآورنده : edited by Charles Grant Brown, Gregers Koch
کتابخانه: (طهران)
موضوع : Congresses ، Logic programming,Congresses ، Natural language processing )Computer science(
رده :
QA
76
.
63
.
I58
1991
304. Non-Monotonic extensions of extensions of logic programming:Iclp
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : logic programming
رده :
QA76
.
63
.
N65
1994
305. Non-deterministic concurrent logic programming in Pandora
پدیدآورنده : Bahgat, Reem
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Logic programming,، Pandora )Computer program language(
رده :
QA
76
.
63
.
B34
1993
306. Non-deterministic concurrent logic programming in Pandora
پدیدآورنده : Bahgat, Reem.
کتابخانه: (طهران)
موضوع : Logic programming , Pandora )Computer program language(
رده :
QA
76
.
63
.
B34
1993
307. Non-monotonic extensions of logic programming :
پدیدآورنده : Jürgen Dix, Louis Moniz Pereira, Teodor C. Przymusinski, eds.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic programming.,Nonmonotonic reasoning.
رده :
QA76
.
63
.
N68
1995
308. Non-monotonic extensions of logic programming : Second International Workshop NMELP'96, Bad Honnef, Germany, September 5-6, 1996 : selected papers
پدیدآورنده : Jurgen Dix, Louis Moniz Pereira, Teodor C. Przymusinski, )eds.(
کتابخانه: (طهران)
موضوع : ، Logic programming,، Nonmonotonic reasoning
رده :
QA
76
.
L28
Vol
.
1216
309. Order Logic-Programming with Higher
پدیدآورنده : / Miller, Dale
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
310. Order Logic-Programming with Higher
پدیدآورنده : / Dale Miller, Gopalan Nadathur
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
311. P-Prolog, a parallel logic programming language
پدیدآورنده : Yang, Rong
کتابخانه: (طهران)
موضوع : ، P-Prolog )Computer program language(,، Parallel programming )Computer science(,، Logic programming
رده :
QA
76
.
73
.
P12
Y36
1987
312. P-Prolog a parallel logic programming language
پدیدآورنده : Yang, Rong
کتابخانه: (طهران)
موضوع : ، P-Prolog )Computer program language(,، Parallel programming )Computer science(,، Logic programming
رده :
QA
76
.
73
.
P12V36
1987
313. P-Prolog, a parallel logic programming language
پدیدآورنده : Yang, Rong
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، P-Prolog )Computer program language(,، Parallel programming )Computer science(,، Logic programming
رده :
QA
76
.
73
.
P12
.
Y36
1987
314. P-Prolog, a parallel logic programming language
پدیدآورنده : Yang, Rong.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، P-Prolog )Computer program language(,، Parallel programming )Computer science(,، Logic programming
رده :
QA
76
.
73
.
P12
Y36
1987
315. Parallel and Constraint Logic Programming
پدیدآورنده : by Ioannis Vlahavas, Panagiotis Tsarchopoulos, Ilias Sakellariou.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Software engineering.
316. Parallel and distributed logic programming
پدیدآورنده : / Alakananda Bhattacharya, Amit Konar, Ajit K. Mandal
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Parallel programming (Computer science),Electronic data processing, Distributed processing,Logic programming,Petri nets
317. Parallel and distributed logic programming
پدیدآورنده : / Alakananda Bhattacharya, Amit Konar, Ajit K. Mandal
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Parallel programming (Computer science),Electronic data processing- Distributed processing,Logic programming,Petri nets
رده :
QA76
.
642
.
B484
2006
318. Parallel and distributed logic programming
پدیدآورنده : / Alakananda Bhattacharya, Amit Konar, Ajit K. Mandal
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع : Parallel programming (Computer science),Electronic data processing- Distributed processing,Logic programming,Petri nets
رده :
QA76
.
642
.
B484
2006
319. Parallel and distributed logic programming: towards the design of a framework for the next generation database machines
پدیدآورنده : Bhattacharya, Alakananda
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه صنعتي خواجه نصير الدين طوسى (طهران)
موضوع : ، Parallel programming )Computer science(,Distributed processing ، Electronic data processing,، Logic programming,، Petri nets
رده :
QA
76
.
642
.
B484
320. Parallel logic programming
پدیدآورنده : Takeuchi, Akikazu
کتابخانه: (طهران)
موضوع : ، Parallel programming )Computer science(,، Logic programming
رده :
QA
76
.
642
.
T35
1992
