61. Analogy for automated reasoning
پدیدآورنده : / Stephen owen
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : Automatic theovem proving,Artificial intelligence,Analogy
62. Analysis and synthesis of logics: how to cut and paste reasoning systems
پدیدآورنده :
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
A634
2008
63. Analysis and synthesis of logics :how to cut and paste reasoning systems /Walter Carnielli ... [et al.].
پدیدآورنده : مولف
کتابخانه: کتابخانه پردیس بین الملل كیش دانشگاه تهران (هرمزگان)
موضوع : Logic, Symbolic and mathematical.
64. Ancestor of the West: writing, reasoning, and religion in Mesopotamia, Elam, and Greece
پدیدآورنده : / Jean Bottero, Clarisse Herrenschmidt and Jean-Pierre Vernant,بوترو,Bottero
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : خط ,خط , -- تاریخ , -- تاریخ , -- خاورمیانه, -- ایران , -- پیش از اسلام, -- پیش از اسلام,خاورمیانه ,خاورمیانه , -- تمدن, -- دین, -- پیش از اسلام
رده :
DS
۵۷
/
ب
۹
الف
۸ ۱۳۷۹
65. Applaying the canon in Islam: the authorization and maintenance of interpretive reasoning in Hanafi scholarship
پدیدآورنده : / Brannon M. Wheeler
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : اصول فقه حنفی,اجماع (فقه),فقه حنفی -- اجماعیات,حنفیه -- تاریخ
رده :
BP
۱۷۱
/
و
۹
ال
ف
۲ ۱۳۷۵
66. Applying the canon in Islam: the authorization and maintenance of interpretive reasoning in Hanafi scholarship
پدیدآورنده : Wheeler, Brannon M
کتابخانه: كتابخانه تخصصی دانشگاه اديان و مذاهب (قم)
موضوع : Interpretation and construction ، Islamic law,History ، Islamic law,History ، Hanafites,Religious aspects Islam ، Authority
رده :
KBP
295
.
W83
1996
67. Approximate Reasoning Models
پدیدآورنده : Ramon lopez de Mantaras
کتابخانه: كتابخانه مركزی و مركز اطلاع رسانی دانشگاه شاهد (تهران)
موضوع : Uncertainty. Problem solving. Applications of expert systems
رده :
Q
،
335
،.
M3
،
1990
68. Approximate Reasoning by Parts
پدیدآورنده : / Lech Polkowski
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ENGINEERING, CIVIL|ENGINEERING, MULTIDISCIPLINARY|ROBOTICS
رده :
E-BOOK
69. Approximate reasoning in decision analysis
پدیدآورنده : GUPTA,MADAN M
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : STATISTICAL DECISION , DECISION-MAKING , FUZZY SETS
رده :
QA
279
.
4
.
A66
70. Approximate reasoning in intelligent systems, decision and control
پدیدآورنده : edited by E.Sanchez and L.A.Zadeh
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Artificial intelligence,، Reasoning,، Fuzzy systems,، Expert systems )Computer science(
رده :
Q
335
.
A68
1987
71. Approximate reasoning in intelligent sytems, decision and control
پدیدآورنده : edited by F. Sanchez and L.A. Zadeh
موضوع : Artificial interlligence,Reasoning,Fuzzy systems,Expert systems (Computer science)
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
72. Aristotle on false reasoning :language and the world in the Sophistical refutations
پدیدآورنده : Schreiber, Scott G. )Scott Gregory(
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع : ، Aristotle,، Reasoning,، Fallacies )Logic(
رده :
B491
.
R4
S37
2003
73. Aristotle on false reasoning :language and the world in the Sophistical refutations
پدیدآورنده : Schreiber, Scott G.)Scott Gregory( 2591-
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع :
رده :
B
491
.
R4
S3
2003
74. Artificial intelligence : applications to logical reasoning and historical research
پدیدآورنده : Ennals, John Richard
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Computer-assisted instruction ، History,Research ، History
رده :
D
16
.
255
.
C65
E56
1985
75. Artificial intelligence : applications to logical reasoning and historical research
پدیدآورنده : Ennals, John Richard
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : History - Computer-assisted instruction , History - Research
رده :
D
16
.
255
.
C65
E56
76. Artificial intelligence, automated reasoning, and symbolic computation : joint International Conferences, AISC 2002 and CALCULEMUS 2002, Marseille, France, July 1-5, 2002 proceedings
پدیدآورنده : Jacques Calmet...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
2385
77. Attacking faulty Reasoning ...
پدیدآورنده : T. Edward Damer
کتابخانه: کتابخانه دفتر تبليغات اسلامی اصفهان (اصفهان)
موضوع : Logic
رده :
BC
71
.
A8
2005
78. Attacking faulty reasoning : a practical guide to fallacy-free arguments
پدیدآورنده : Damer, T. Edward
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، Fallacies )Logic(,، Reasoning
رده :
BC
175
.
D35
2009
79. Attacking faulty reasoning: a practical guide to fallacy-free arguments
پدیدآورنده : Damer, T. Edward
کتابخانه: كتابخانه تخصصی دانشگاه اديان و مذاهب (قم)
موضوع : ، Fallacies )Logic(,، Reasoning
رده :
BC
175
.
D35
2009
80. Attacking faulty reasoning: a practical guide to fallacy-free arguments
پدیدآورنده : Damer, T. Edward
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Fallacies )Logic(,، Reasoning
رده :
BC
175
.
D35
2009