1. A perspective of constraint-based reasoning :
المؤلف: edited by H.W. Güsgen, J. Hertzberg.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Constraints (Artificial intelligence),Contraintes (Intelligence artificielle),Reasoning.
رده :
QA75
.
E358
1992
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
2. AI and Cognitive Science '92 :
المؤلف: edited by Kevin Ryan, Richard F.E. Sutcliffe.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Software engineering.
![](/design/images/bookmore.png)
3. AI game programming wisdom /
المؤلف: edited by Steve Rabin.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer games-- Design.,Computer games-- Programming.,Computer graphics.,Artificial intelligence.,Computer games-- Design.,Computer games-- Design.,Computer games-- Programming.,Computer games-- Programming.,Computer graphics.,Computer graphics.,Computeranimation,Computergraphics.,Computerspelen.,Computerspiel,Infographie.,Intelligence artificielle.,Künstliche Intelligenz,Kunstmatige intelligentie.,Ludiciels-- Programmation.,Programmeren (computers),Programmierung,Vormgeving.
رده :
QA76
.
76
.
C672
R33
2002
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
4. Abduction and Induction
المؤلف: edited by Peter A. Flach, Antonis C. Kakas.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Electronic data processing.,Logic.,Philosophy (General).,Science-- Philosophy.
![](/design/images/bookmore.png)
5. Advanced topics in artificial intelligence :
المؤلف: Norman Foo, (ed.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Apprentissage automatique.,intelligence artificielle -- congrès.,Intelligence artificielle -- Congrès.
![](/design/images/bookmore.png)
6. Advanced topics in artificial intelligence :
المؤلف: V[ladimír] Mařík, O[lga] Štěpánová, R[obert] Trappl (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: logično programiranje.,računalništvo.,umetna inteligenca.
رده :
Q334
.
V533
1992
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
7. Advances in Artifical Intelligence :
المؤلف: edited by Gordon McCalla.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Computer science.,Computer Science.
رده :
Q334
.
E358
1996
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
8. Agent-Based Defeasible Control in Dynamic Environments.
المؤلف: Dov M Gabbay
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Logic, Symbolic and mathematical.
رده :
Q339
.
D686
2010
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
9. Algebraic and logic programming :
المؤلف: J. Grabowski, P. Lescanne, W. Wechler (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebraic logic -- Congresses.,Algebraic logic.,Logic programming -- Congresses.
رده :
QA76
.
6
J473
1989
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
10. Algol-like Languages
المؤلف: edited by Peter W. O'Hearn, Robert D. Tennent.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Mathematics.
![](/design/images/bookmore.png)
11. Answer set solving in practice /
المؤلف: Martin Gebser, Roland Kaminski, Benjamin Kaufmann, and Torsten Schaub, University of Potsdam.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Declarative programming.,Logic programming.,Declarative programming.,Logic programming.,MATHEMATICS-- Algebra-- Elementary.
رده :
QA76
.
615
.
A58
2013eb
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
12. Applications and Science in Soft Computing
المؤلف: edited by Ahamad Lotfi, Jonathan M. Garibaldi.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer science.,Decision making.,Operations research.
![](/design/images/bookmore.png)
13. Architectural design of multi-agent systems :
المؤلف: Hong Lin [editor].
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer architecture.,Electronic data processing-- Distributed processing.,Intelligent agents (Computer software),Computer architecture.,Electronic data processing-- Distributed processing.,Intelligent agents (Computer software)
رده :
QA76
.
76
.
I58
A72
2007
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
14. Architectural design of multi-agent systems
المؤلف: / Hong Lin [editor]
المکتبة: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه محقق اردبیلی ره (أردبیل)
موضوع: Intelligent agents (Computer software),Electronic data processing- Distributed processing,Computer architecture
رده :
QA76
.
76
.
I58
,
A72
2007
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
15. Architectural design of multi-agent systems :technologies and techniques
المؤلف: Hong Lin ]editor[
المکتبة: کتابخانه مرکز پژوهش متالورژی رازی (طهران)
موضوع: ، Intelligent agents )Computer software(,Distributed processing ، Electronic data processing,، Computer architecture
رده :
QA
76
.
76
.
I58
A72
2007
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
16. Artificial intelligence :
المؤلف: George F. Luger.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence.,Knowledge representation (Information theory),LISP (Computer program language),Problem solving.,Prolog (Computer program language),Códigos de corrección (Teoría de la información).,Inteligencia artificial.,Solución de problemas.
رده :
Q335
.
L84
2009
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
17. Artificial intelligence applications and innovations :
المؤلف: John MacIntyre, Ilias Maglogiannis, Lazaros Iliadis, Elias Pimenidis (eds.).
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence, Congresses.,Artificial intelligence.
رده :
Q334
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
18. Artificial intelligence techniques :
المؤلف: Alan Bundy, ed.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Artificial intelligence -- Data processing.,Künstliche Intelligenz,Programm
رده :
Q336
.
A436
1997
![](/design/images/bookmore.png)
![](/design/images/visualshelfbtn.png)
19. Automata, Languages and Programming :
المؤلف: edited by Josep Diaz.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Computer programming.,Computer science.,Computers.
![](/design/images/bookmore.png)
20. Automated Deduction - A Basis for Applications
المؤلف: edited by Wolfgang Bibel, Peter H. Schmitt.
المکتبة: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع: Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
![](/design/images/bookmore.png)