1. Artificial Intelligence : Methodology, systems, Applications : Proceedings of the second International Conference on Artificial Intelligence : Methodology, Systems, Applications )AIMSA'88( Varna, Bulgaria, 20-23 September, 1988
پدیدآورنده : edited by T. O'Shea, and V. Sgurev
کتابخانه: (طهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Knowledge, Theory of,Congresses ، Reasoning
رده :
Q
334
.
I554
1988
2. Artificial intelligence iii:methodology,systems,applications:
پدیدآورنده :
کتابخانه: (طهران)
موضوع : ARTIFICIAL INTELLIGENCE-CONGRESSES , KNOWLEDGE,THEORY OF-CONGRESSES , REASONING-CONGRESSES
رده :
Q
334
.
I554
1988
3. Artificial intelligence : methodology, systems, applicaitons : Proceedings of the Fourth International Conference on Artificial Intelligence: Methodology, Systems, Applications )AIMSA'90( Albena, Bulgaria, 19-22 September, 1990
پدیدآورنده : edited by Ph. Jorrand and V. Sgurev
کتابخانه: (طهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Knowledge, Theory of,Congresses ، Reasoning
رده :
Q
334
.
I554
1990
4. Bayesian epistemology /
پدیدآورنده : Luc Bovens and Stephan Hartmann.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Bayes, Thomas, 1702-1761,Bayes, Thomas.,Bayesian statistical decision theory.,Knowledge, Theory of.,Reasoning-- Mathematical models.,Connaissance, Théorie de la.,Raisonnement-- Modèles mathématiques.,Statistique bayésienne.,Bayesian statistical decision theory.,Bayesian statistical decision theory.,Erkenntnistheorie,Knowledge, Theory of.,Knowledge, Theory of.,Methode van Bayes.,Reasoning-- Mathematical models.,Reasoning-- Mathematical models.
رده :
QA279
.
5
.
B6
2003
5. Bayesian epistemology
پدیدآورنده : Bovens, Luc
کتابخانه: (طهران)
موضوع : ، Bayesian statistical decision theory,Mathematical models ، Reasoning,، Knowledge, Theory of
رده :
QA
279
.
5
.
B68B28
6. Bayesian epistemology
پدیدآورنده : Bovens, Luc.
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Bayesian statistical decision theory,، Knowledge, Theory of,Mathematical models ، Reasoning
رده :
QA279
.
5
.
B68
2003
7. Bremen and Freiburg lectures :
پدیدآورنده : Martin Heidegger ; translated by Andrew J. Mitchell
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Ding an sich,Knowledge, Theory of,Reasoning,Thought and thinking
رده :
B3279
.
H48
.
B7413
2012
8. De la conduite de l'entendement
پدیدآورنده : J. Locke; Traduction, introduction et notes par Yves Michaud
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (طهران)
موضوع : Intellect,Reasoning,English philosophy-- 17th-18th centuries,Knowledge, Theory of
9. In defence of objective Bayesianism /
پدیدآورنده : Jon Williamson.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Bayesian statistical decision theory.,Knowledge, Theory of.,Reasoning-- Mathematical models.,31.02 philosophy and theory of mathematics.,31.70 probability.,Bayes-Entscheidungstheorie.,Bayesian method.,Bayesian statistical decision theory.,Bayes-Verfahren,Bayes-Verfahren.,Beslutsteori-- matematisk statistik.,Decision theory.,épistémologie-- théorie de Bayes.,Epistemology.,Knowledge, Theory of.,Objektivierung,Objektivität.,Reasoning-- Mathematical models.
رده :
QA279
.
5
.
W5475
2010
10. Interdisciplinary Works in Logic, Epistemology, Psychology and Linguistics
پدیدآورنده : \ [Edited by] Manuel Rebuschi...[et.al]
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Knowledge, Theory of,Language and logic,شناخت (فلسفه),زبان و منطق,a04,a05,a04,a05,Reasoning.,استدلال
رده :
BC
177
.
I5
2014
E-Book
,
11. Justification logic :
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Logic, Symbolic and mathematical. ; Inquiry (Theory of knowledge) ; Science ; Theory reduction. ; Reasoning. ;
12. Justification logic :
پدیدآورنده : Sergei Artemov (Graduate Center, City University of New York), Melvin Fitting (Graduate Center, City University of New York).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Inquiry (Theory of knowledge),Logic, Symbolic and mathematical.,Reasoning.,Science-- Theory reduction.,Inquiry (Theory of knowledge),Logic, Symbolic and mathematical.,Reasoning.,Science-- Theory reduction.
رده :
QA9
.
A78
2019
13. Methodologies for Intelligent Systems, 4: Proceedings of the Fourth International Symposium on Methodologies for Intelligent Systems held October 12-14, 1989, in Charlotte, North Carolina
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Artificial intelligence- Congresses,Reasoning- Congresses,Knowledge, Theory of- Congresses,Logic, Symbolic and mathematical- Congresses
رده :
Q
،
334
،.
I576
،
1989
14. Methodologies for intelligent systems, 4 : Proceedings of the Fourth International Symposium on Methodologies for Intelligent Systems, held October 12-14, 1989, in Charlotte, North Carolina
پدیدآورنده : editor, Zbigniew W. Ras
کتابخانه: (طهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Reasoning,Congresses ، Knowledge, Theory of,Congresses ، Logic, Symbolic and mathematical
رده :
Q
334
.
I576
1989
15. Minimal rationality
پدیدآورنده : Cherniak, Christopher
کتابخانه: (طهران)
موضوع : ، Reasoning,، Knowledge, Theory of
رده :
BC
177
.
C52
1986
16. Minimal rationality
پدیدآورنده : Cherniak, Christopher
کتابخانه: (طهران)
موضوع : ، Reasoning,، Knowledge, Theory of
رده :
BC
177
.
C52
1986
17. Minimal rationality /
پدیدآورنده : Christopher Cherniak.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Knowledge, Theory of.,Reasoning.,Connaissance, Théorie de la,Raisonnement,Cognition.,Connaissance.,Knowledge, Theory of.,Knowledge, Theory of.,Raisonnement.,Rationalité.,Rationaliteit.,Reasoning.,Reasoning.,Théorie de la connaissance.
رده :
BC177
.
C52
1986
18. Modality and explanatory reasoning /
پدیدآورنده : Boris Kment
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Modality (Theory of knowledge),Reasoning
19. Modality and explanatory reasoning
پدیدآورنده : Kment, Boris Christian, 5791-
کتابخانه: (طهران)
موضوع : ، Modality )Theory of knowledge(,، Reasoning
رده :
BD
218
.
5
.
K55M6
20. Model-Based Reasoning in Science and Technology
پدیدآورنده : \ Lorenzo Magnani, Claudia Casadio Editors
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Knowledge, Theory of,شناخت (فلسفه),a04,a04,Model-based reasoning.
رده :
E-Book
,