341. Progress in artificial intelligence :
پدیدآورنده : Luís Correia, Luís Paulo Reis, José Cascalho (eds.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses
رده :
Q334
.
P67
2013
342. Project e-society :
پدیدآورنده : edited by Reima Suomi [and others]
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Electronic commerce, Congresses.,Information society, Congresses.
343. Proof Theory of Modal Logic
پدیدآورنده : edited by Heinrich Wansing.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
344. Propositional, probabilistic, and evidential reasoning :
پدیدآورنده : Weiru Liu.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Reasoning.,Uncertainty (Information theory)
رده :
Q335
.
W457
9999
345. Qualitative representation of spatial knowledge
پدیدآورنده : / Daniel Hernaandez
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Knowledge representation (Information theory),Mathematical statistics.
رده :
Q
,
387
,.
H48
,
1994
346. Qualitative representation of spatial knowledge
پدیدآورنده : Hernandez, Daniel, 1691-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Knowledge representation )Information theory(,، Mathematical statistics
رده :
QA
76
.
L28
Vol
.
804
347. Rationality and coordination /
پدیدآورنده : Cristina Bicchieri.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Decision making.,Equilibrium.,Game theory.,Calcul économique.,Coördinatie.,Decision making.,Decision making.,Entscheidung bei Unsicherheit,Entscheidungsprozess,Entscheidungstheorie,Équilibre (économie politique),Équilibre.,Equilibrium.,Equilibrium.,Game theory.,Game theory.,Gleichgewichtspunkt,Groepsdynamica.,Handelingstheorie.,Prise de décision.,Rationale Erwartung,Rationaliteit.,Speltheorie.,Spieltheorie,Théorie des jeux.
رده :
HB144
.
B53
1993
348. Reasoning and revision in hybrid representation systems
پدیدآورنده : / Bernhard Nebel
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Artificial intelligence.,Knowledge, Theory of.,Reasoning.
رده :
Q
,
335
,.
N43
,
1990
349. Reasoning web :
پدیدآورنده : Claudia d'Amato, Martin Theobald (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Semantic computing, Congresses.,Semantic Web, Congresses.,Artificial Intelligence.,Computer Appl. in Administrative Data Processing.,Data Mining and Knowledge Discovery.,Database Management.,Mathematical Logic and Formal Languages.,Artificial intelligence.,Computers-- Data Processing.,Computers-- Database Management-- Data Mining.,Computers-- Database Management-- General.,Computers-- Intelligence (AI) & Semantics.,Data mining.,Databases.,Mathematical theory of computation.,Mathematics-- Logic.,Public administration.,Semantic computing.,Semantic Web.
رده :
TK5105
.
88815
350. Reasoning with probabilistic and deterministic graphical models :
پدیدآورنده : Rina Dechter.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Algorithms.,Bayesian statistical decision theory.,Graphical modeling (Statistics),Machine learning.,Reasoning.,Algorithms.,Bayesian statistical decision theory.,COMPUTERS-- General.,Graphical modeling (Statistics),Machine learning.,Reasoning.
رده :
QA279
.
5
.
D43
2019
351. Recent Advances in Applications of Computational and Fuzzy Mathematics /
پدیدآورنده : Snehashish Chakraverty, Sanjeewa Perera, editors.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Fuzzy logic.,Logic, Symbolic and mathematical.,Mathematics.,Fuzzy logic.,Logic, Symbolic and mathematical.,MATHEMATICS-- General.,Mathematics.
رده :
QA9
.
64
352. Recent advances in knowledge-based paradigms and applications :enhanced applications using hybrid artificial intelligence techniques
پدیدآورنده : Jeffrey W. Tweedale, Lakhmi C. Jain, editors
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Artificial intelligence,، Knowledge representation )Information theory(,، Engineering,، Computational Intelligence,، Artificial Intelligence )incl. Robotics(
رده :
Q335
353. Recent trends in computer applications :
پدیدآورنده : editors, Jihad Mohamad Alja'am, Abdulmotaleb El Saddik and Abdul Hamid Sadk.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Application software, Congresses.,Computer science, Congresses.,Information technology, Congresses.,Application software.,Artificial intelligence.,Computer science.,Computer security.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Data mining.,Information retrieval.,Information technology.,Information technology: general issues.,Teaching skills & techniques.
رده :
QA75
.
5
354. Redesigning organizations
پدیدآورنده : Denise Feldner, editor.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer security.,Artificial intelligence.,Computer security.
رده :
HB71-74
355. Representing Uncertain Knowledge An Artificial Intelligence Approach.
پدیدآورنده : Krause, Paul.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع :
رده :
Q375
.
K738
2013
356. Research and development in intelligent systems XVII :
پدیدآورنده : Max Bramer, Alun Preece and Frans Coenen (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Expert systems (Computer science),Expert systems (Computer science) -- Congresses.
رده :
QA76
.
76
.
E95
M393
2001
357. Risks and Security of Internet and Systems :
پدیدآورنده : edited by Nora Cuppens, Frédéric Cuppens, Jean-Louis Lanet, Axel Legay, Joaquin Garcia-Alfaro.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer networks-- Security measures, Congresses.,Internet-- Security measures, Congresses.,Artificial intelligence.,Artificial intelligence.,Coding theory & cryptology.,Computer science.,Computers-- Expert Systems.,Computers-- Information Technology.,Computers-- Intelligence (AI) & Semantics.,Computers-- Security-- General.,Computers-- Social Aspects-- Human-Computer Interaction.,Computers-- Software Development & Engineering-- General.,Computers, Special purpose.,Computers.,Data encryption (Computer science),Expert systems-- knowledge-based systems.,Information retrieval.,Information technology: general issues.,Software engineering.,Software Engineering.
رده :
QA76
.
758
I58
2017
358. Robotics and Artificial Intelligence
پدیدآورنده : edited by Michael Brady, Lester A. Gerhardt, Harold F. Davidson.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer-aided design.,Optical pattern recognition.
359. Rohit Parikh on Logic, Language and Society
پدیدآورنده : edited by Can Baskent, Lawrence S. Moss, Ramaswamy Ramanujam
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Philosophy,Logic,Mathematical logic,Semantics,Philosophy,Logic,Mathematical Logic and Formal Languages,Mathematical Logic and Foundations,Semantics
رده :
EBOOK
,
BC
R6
140
360. Rough Sets :
پدیدآورنده : by Zdzisław Pawlak.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
رده :
Q335
.
B993
1991
