101. Aristotle on false reasoning :language and the world in the Sophistical refutations
پدیدآورنده : Schreiber, Scott G.)Scott Gregory( 2591-
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع :
رده :
B
491
.
R4
S3
2003
102. Artificial intelligence : applications to logical reasoning and historical research
پدیدآورنده : Ennals, John Richard
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Computer-assisted instruction ، History,Research ، History
رده :
D
16
.
255
.
C65
E56
1985
103. Artificial intelligence : applications to logical reasoning and historical research
پدیدآورنده : Ennals, John Richard
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع : History - Computer-assisted instruction , History - Research
رده :
D
16
.
255
.
C65
E56
104. 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
105. Assessment of Emergency Medicine Residents' Clinical Reasoning: Validation of a Script Concordance Test
پدیدآورنده : Steinberg, Eric; Cowan, Ethan; Lin, Michelle P.; Sielicki, Anthony; Warrington, Steven,Steinberg, Eric; Cowan, Ethan; Lin, Michelle P.; Sielicki, Anthony; Warrington, Steven
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع :
106. Attacking faulty Reasoning ...
پدیدآورنده : T. Edward Damer
کتابخانه: کتابخانه دفتر تبليغات اسلامی اصفهان (اصفهان)
موضوع : Logic
رده :
BC
71
.
A8
2005
107. Attacking faulty reasoning :
پدیدآورنده : T. Edward Damer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع : Fallacies (Logic),Reasoning.,Argument,Fallacies (Logic),Fehlschluss,Logik,Reasoning.
رده :
BC175
.
D35
2009
108. Attacking faulty reasoning : a practical guide to fallacy-free arguments
پدیدآورنده : Damer, T. Edward
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه الزهراء (س) (تهران)
موضوع : ، Fallacies )Logic(,، Reasoning
رده :
BC
175
.
D35
2009
109. Attacking faulty reasoning: a practical guide to fallacy-free arguments
پدیدآورنده : Damer, T. Edward
کتابخانه: كتابخانه تخصصی دانشگاه اديان و مذاهب (قم)
موضوع : ، Fallacies )Logic(,، Reasoning
رده :
BC
175
.
D35
2009
110. Attacking faulty reasoning: a practical guide to fallacy-free arguments
پدیدآورنده : Damer, T. Edward
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Fallacies )Logic(,، Reasoning
رده :
BC
175
.
D35
2009
111. Attacking faulty reasoning: <a practical guide to fallacy-free arguments>
پدیدآورنده : / T. Edward Damer
کتابخانه: کتابخانه مرکزی، مرکز اسناد و موزه دانشگاه شهید بهشتی (تهران)
موضوع : Fallacies (Logic),Reasoning
رده :
165
D157A
2013
112. Automated Practical Reasoning :
پدیدآورنده : edited by Jochen Pfalzgraf, Dongming Wang.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع :
رده :
QA76
.
9
.
A96
E358
1995
113. Automated Reasoning
پدیدآورنده : / phane Demri, Deepak Kapur, Christoph WeidenbachفSt
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
114. Automated Reasoning
پدیدآورنده : / hnleعrgen Giesl, Reiner HJی
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
115. Automated Reasoning
پدیدآورنده : / Bernhard Gramlich, Dale Miller, Uli Sattler
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
116. Automated Reasoning and Mathematics
پدیدآورنده : / Maria Paola Bonacina, Mark E. Stickel
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ROBOTICS
رده :
E-BOOK
117. Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security
پدیدآورنده : / Alessandro Armando, Gavin Lowe
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
118. Automated Reasoning with Analytic Tableaux and Related Methods
پدیدآورنده : \ Hans De Nivelle (Ed.)
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Automatic theorem proving -- Congresses.,Programming Techniques.,Software engineering.,م‍ه‍ن‍دس‍ی ن‍رم اف‍زار
رده :
QA
76
.
9
.
A96
2015
E-Book
,
119. Automated Reasoning with Analytic Tableaux and Related Methods
پدیدآورنده : / Wendling-Didier Galmiche, Dominique Larchey
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
120. Automated Reasoning with Analytic Tableaux and Related Methods
پدیدآورنده : / Hans De Nivelle
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
رده :
E-BOOK
