1. A 25-Year perspective on logic programming
پدیدآورنده: / Agostino Dovier, Enrico Pontelli (Eds.
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: Italian Association for Logic Programming,Logic programming
رده :
QA76
.
63
.
T84
2010
2. A beginner's guide to Programming logic and design
پدیدآورنده: Farrell, Joyce.
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی همدان (همدان)
موضوع: ، Logic programming,، Logic design
رده :
QA
76
.
63
.
F37
3. A guide to programming logic and design: introductory
پدیدآورنده: Farrell, Joyce
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: ، Computer programming,، Structured programming
رده :
QA
76
.
6
.
F37
4. A quick and gentle guide to constraint logic programming via ECLiPSe
پدیدآورنده: Antoni Niederliński.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Eclipse (informat.),Eclipse (środowisko programistyczne).,Programowanie logiczne.
5. A science of operations: Machines, logic and the invention of programming
پدیدآورنده: / Mark Priestley (auth.)
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
6. A 25-year perspective on logic programming :
پدیدآورنده: [edited by]& Agostino Dovier, Enrico Pontelli
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع:
7. A 25-year perspective on logic programming : achievements of the Italian Association for Logic Programming, GULP
پدیدآورنده: Agostino Dovier, Enrico Pontelli )Eds.(
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع: ، Gruppo Ricercatori e Utenti Logic Programming.,، Logic programming
رده :
QA
76
.
63
.
A14
2010
8. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation
پدیدآورنده: / Thomas Eiter, Hannes Strass, Mirosaw Truszczyski, Stefan Woltran
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
9. Advances in Knowledge Representation, Logic Programming, and Abstract Argumentation
پدیدآورنده: Thomas Eiter, Hannes Strass, Mirosaw Truszczyski, Stefan Woltran
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: ART
10. Advances in computational and stochastic optimization, logic programming, and heuristic search :
پدیدآورنده: edited by David L. Woodruff.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Logic programming.,Mathematical optimization.,Operations research.
11. Advances in computational and stochastic optimization, logic programming, and heuristic search
پدیدآورنده:
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی اصفهان (اصفهان)
موضوع: Operations research►Mathematical optimization
رده :
57
.
A34
12. Advances in inductive logic programming
پدیدآورنده: edited by L. De Raedt
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Logic programming
رده :
QA
76
.
63
.
A38
1996
13. Advances in knowledge Representation, Logic programming, and Abstract Argumentation
پدیدآورنده: \ [edited by] Thomas Eiter...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع: Artificial intelligence,Logic programming.,هوش مصنوعی,برنامه‌نویسی منطقی.,a03,a04,a03,a04
رده :
TJ
211
.
A3
2015
E-Book
,
14. Algebraic and Logic Programming :
پدیدآورنده: edited by Michael Hanus, Mario Rodríguez-Artalejo.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Logic design.
15. Algebraic and Logic Programming International Workshop, Gaussig, GDR, November 14-18, 1988, Proceedings
پدیدآورنده:
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع:
رده :
QA
،
76
.
6
،.
A4583
،
1988
16. Algebraic and logic programming
پدیدآورنده: / J. Grabowski, P. Lescanne, W. Wechler (eds.)
کتابخانه: كتابخانه پردیس علوم (دانشگاه تهران) (تهران)
موضوع: Logic programming -- Congresses,Algebraic logic -- Congresses
رده :
QA
76
.
6
.
A4583
1988
17. Algebraic and logic programming :
پدیدآورنده: Giorgio Levi, Mario Rodríguez Artalejo (Eds.)
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebraic logic-- Congresses,Logic programming-- Congresses
رده :
QA76
.
6
.
A45843
1994
18. Algebraic and logic programming :
پدیدآورنده: J. Grabowski, P. Lescanne, W. Wechler (eds.).
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Algebraic logic -- Congresses.,Algebraic logic.,Logic programming -- Congresses.
رده :
QA76
.
6
J473
1989
19. Algebraic and logic programming
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اصفهان (اصفهان)
موضوع: Logic programming
رده :
005
A394
20. Algebraic and logic programming : International Workshop, Gaussig, GDR, Novermber 14-18, 1988 : Proceedings
پدیدآورنده: J. Grabowski, P. Lescanne, W. Wechler )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Logic programming,Congresses ، Algebraic logic
رده :
QA
76
.
L28
Vol
.
343
