241. Reasoning under incomplete information in artificial intelligence : a comparison of formalisms using a single example
پدیدآورنده : Sombe, Lea.
کتابخانه: كتابخانه پژوهشگاه نیرو (طهران)
موضوع : ، Artificial intelligence,، Reasoning,، Artificial Intelligence,، Logic
242. Reasoning with logic programming
پدیدآورنده : Alferes, Jose Julio
کتابخانه: (طهران)
موضوع : ، Logic programming,، Reasoning
رده :
QA
76
.
L28
Vol
.
1111
243. Regles pour la direction de l'esprit
پدیدآورنده : [par] Descartes ;Traduction par J. Sirven
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (طهران)
موضوع : Reasoning.,Logic, Symbolic and mathematical.
244. Regulae ad directionem ingenii
پدیدآورنده : Rene Descartes; Texte de l'edition adam et tannery ; Notice par Henri Gouhier
کتابخانه: كتابخانه دانشكده ادبيات دانشگاه تهران (طهران)
موضوع : Reasoning.,Logic, Symbolic and mathematical.
245. Regulae ad directionem ingenii
پدیدآورنده : / Texte revu et traduit par Georges Le Roy,Descartes
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع : Reasoning,Logic, Symbolic and mathematical
رده :
B
1868
.
R34
246. Regulae utiles et claires pour la direction de l,esprit en la recherche de la verite
پدیدآورنده : / Rene Descartes,Descartes
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع : Reasoning,Logic, Symbolic and mathematical,Science -- Methodology
رده :
B
1868
.
R42F7
247. Reliable reasoning
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Reasoning. ; Reliability. ; Induction (Logic) ; Computational learning theory. ;
248. Reliable reasoning
پدیدآورنده : / Gilbert Harman and Sanjeev Kulkarni
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Reasoning.,Reliability.,Induction (Logic),Computational learning theory.
رده :
BC
,
177
,.
H377
,
2007
249. Return to reason
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Reasoning. ; Logic. ;
250. Shifting the Paradigm
پدیدآورنده : \edited by Paolo C. Biondi and Louis F. Groarke.
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Induction (Logic),Reasoning.,استقرا (منطق) ,استدلال
رده :
BC91
.
S47S5
2014
251. Shifting the paradigm :
پدیدآورنده : edited by Paolo C. Biondi and Louis F. Groarke
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Induction (Logic),Reasoning
رده :
BC91
.
S47
2014
252. Simply logical: intelligent reasoning by example
پدیدآورنده : Flach, Peter A.
کتابخانه: مكتبة, ومركز المعلومات ومركز الوثائق العلمية لمركز بحوث الحوزة والجامعة (قم)
موضوع : Data Processing ، Reasoning,، Logic, Symbolic And Mathematical,، Artifical Intelligence,، Prolag ) Computer Program Language(
رده :
Q
335
.
F58
1994
253. Simply logical : intelligent reasoning by example
پدیدآورنده : Peter Flach
موضوع : Artificial intelligence,Reasoning - Data processing,Logic, Symbolic and mathematical,Prolog (Computer program language)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
254. Subjunctive reasoning /
پدیدآورنده : John L. Pollock.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Conditionals (Logic),Counterfactuals (Logic),Probabilities.,Reasoning.,Conditionnel (Logique),Contrefactuels (Logique),Probabilités.,Raisonnement.,Conditionals (Logic),Counterfactuals (Logic),Konditional,Konditional.,Logik,Logik.,Probabilities.,Reasoning.,Redeneren.,Tegenstrijdigheden.,Waarschijnlijkheid (statistiek)
رده :
BC199
.
C56
P64
255. Subjunctive reasoning
پدیدآورنده : / John L. Pollock
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Conditionals (Logic),Reasoning,Counterfactuals (Logic),Probabilities
رده :
BC
,
199
,.
C56
,
P64
256. Subjunctive reasoning
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : Conditionals (Logic) ; Reasoning ; Counterfactuals (Logic) ; Probabilities ;
257. Symbolic and quantitative approaches to reasoning and uncertainty: European Conference ECSQARU '93, Granada, Spain, November 8-10, 1993: proceedings
پدیدآورنده : Michael Clarke, Rudolf Kruse, Serafin Moral )eds.(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Uncertainty )Information theory(,Congresses ، Reasoning,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L4
v
.
747
258. Symbolic and quantitative approaches to reasoning and uncertainty : European Conference ECSQARU '93, Granada, Spain, November 8-10, 1993 : proceedings
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Uncertainty )Information theory(-- Congresses,، Reasoning-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
Q
375
.
E88
1993
259. Symbolic and quantitative approaches to reasoning and uncertainty : European Conference ECSQARU'93, Granada, Spain, November 8-10, 1993 : proceedings
پدیدآورنده : Michael Clarke, Rudolf Kruse, Serafin Moral )eds.(
کتابخانه: (طهران)
موضوع : Congresses ، Uncertainty )Information theory(,Congresses ، Reasoning,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
747
260. Teoria della dimostrazione; a cura del centro di studio filosofici di gallarate
پدیدآورنده :
کتابخانه: المكتبة المركزية ومركز الأرشيف (طهران)
موضوع : Reasoning - Addresses, essays, lectures,Syllogism - Addresses, essays, lectures,Logic - Addresses, essays, lectures
رده :
160
.
8
Te-
