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
2. A tight, practical integration of relations and functions
پدیدآورنده : Boley, Harold
کتابخانه: (طهران)
موضوع : ، Logic programming,، Functional programming )Computer science(,، Relational databases
رده :
QA
76
.
L28
Vol
.
1712
3. ACM Turing Award lectures :
پدیدآورنده :
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computers.,Electronic data processing.,Informatique.,Ordinateurs.,Computers.,Computers.,Electronic data processing.,Informatik,Informatique-- Histoire.,Informatique.,Ordinateurs.,Programmeren (computers)
رده :
QA76
.
24
.
A33
1987
4. AI and Cognitive Science '92 :
پدیدآورنده : edited by Kevin Ryan, Richard F.E. Sutcliffe.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Software engineering.
5. AI and cognitive science :
پدیدآورنده : second Irish conference on artificial intelligence and cognitive science, Dublin city University, 14-15 September 1989 ; ed. Alan F. Smeaton and Gabriel McDermott.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Intelligence artificielle -- Actes de congrès.
6. AI approaches to the complexity of legal systems :
پدیدآورنده : Ugo Pagallo, Monica Palmirani, Pompeu Casanovas, Giovanni Sartor, Serena Villata (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Information storage and retrieval systems-- Law, Congresses.,Law-- Methodology-- Automation, Congresses.,Artificial intelligence.,Artificial intelligence.,Computer programming-- software development.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- General.,Computers-- System Administration-- Storage & Retrieval.,Information retrieval.,Information storage and retrieval systems-- Law.,Law-- Methodology-- Automation.,Mathematical theory of computation.,Mathematics-- Logic.
رده :
K213
7. 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
8. Abduction and Induction
پدیدآورنده : edited by Peter A. Flach, Antonis C. Kakas.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Electronic data processing.,Logic.,Philosophy (General).,Science-- Philosophy.
9. Advanced concepts for intelligent vision systems :
پدیدآورنده : Jacques Blanc-Talon, David Helbert, Wilfried Philips, Dan Popescu, Paul Scheunders (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Computer vision, Congresses.,Artificial Intelligence.,Data Structures and Information Theory.,Image Processing and Computer Vision.,Information Systems and Communication Service.,Mathematics of Computing.,Software Engineering/Programming and Operating Systems.,Algorithms & data structures.,Artificial intelligence.,Artificial intelligence.,Computer networking & communications.,Computer vision.,Computers-- Computer Graphics.,Computers-- Data Processing.,Computers-- Information Theory.,Computers-- Intelligence (AI) & Semantics.,Computers-- Online Services-- General.,Computers-- Software Development & Engineering-- General.,Image processing.,Mathematical theory of computation.,Software Engineering.
رده :
TA1634
10. Advanced topics in artificial intelligence :
پدیدآورنده : Norman Foo, (ed.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Apprentissage automatique.,intelligence artificielle -- congrès.,Intelligence artificielle -- Congrès.
11. 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
12. Advances in Artifical Intelligence :
پدیدآورنده : edited by Gordon McCalla.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Computer Science.
رده :
Q334
.
E358
1996
13. 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
14. Advances in artificial intelligence :
پدیدآورنده : Ebrahim Bagheri, Jackie C.K. Cheung (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence, Congresses.,Algorithms & data structures.,Artificial intelligence.,Artificial intelligence.,Computers-- Database Management-- Data Mining.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Programming-- Algorithms.,Computers-- Speech & Audio Processing.,Computers-- System Administration-- Storage & Retrieval.,Data mining.,Information retrieval.,Natural language & machine translation.
رده :
Q334
.
C36
2018
15. Advances in computational intelligence :
پدیدآورنده : Sudip Kumar Sahana, Vandana Bhattacharjee, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computational intelligence, Congresses.,Computational intelligence.
رده :
Q342
16. Advances in inductive logic programming
پدیدآورنده : edited by L. De Raedt
کتابخانه: (طهران)
موضوع : Logic programming
رده :
QA
76
.
63
.
A38
1996
17. Advances in intelligent computing /
پدیدآورنده : J.K. Mandal, Paramartha Dutta, Somnath Mukhopadhyay, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computational intelligence, Congresses.,Computational intelligence.
رده :
Q342
18. 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
,
19. Advances in metaheuristics algorithms :
پدیدآورنده : by Erik Cuevas, Daniel Zaldívar, Marco Pérez-Cisneros.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Heuristic programming.,Mathematical optimization.,Artificial intelligence.,Computers-- Intelligence (AI) & Semantics.,Heuristic programming.,Mathematical optimization.
رده :
QA402
.
5
