121. Attacking faulty reasoning :
Author: T. Edward Damer.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Fallacies (Logic),Reasoning.,Argument,Fallacies (Logic),Fehlschluss,Logik,Reasoning.
Classification :
BC175
.
D35
2009
122. Attacking faulty reasoning:
Author: Damer, T. Edward
Library: Central Library and Documents Center of Al-Zahra University (Tehran)
Subject: ، Fallacies )Logic(,، Reasoning
Classification :
BC
175
.
D35
2009
123. Attacking faulty reasoning: a practical guide to fallacy-free arguments
Author: Damer, T. Edward
Library: Special Library of University of Religions (Qom)
Subject: ، Fallacies )Logic(,، Reasoning
Classification :
BC
175
.
D35
2009
124. Attacking faulty reasoning: a practical guide to fallacy-free arguments
Author: Damer, T. Edward
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Fallacies )Logic(,، Reasoning
Classification :
BC
175
.
D35
2009
125. Attacking faulty reasoning: <a practical guide to fallacy-free arguments>
Author: / T. Edward Damer
Library: Central Library and Archive Center of shahid Beheshti University (Tehran)
Subject: Fallacies (Logic),Reasoning
Classification :
165
D157A
2013
126. Automated Practical Reasoning :
Author: edited by Jochen Pfalzgraf, Dongming Wang.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject:
Classification :
QA76
.
9
.
A96
E358
1995
127. Automated Reasoning
Author: / phane Demri, Deepak Kapur, Christoph WeidenbachفSt
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
128. Automated Reasoning
Author: / Alessandro Armando, Peter Baumgartner, Gilles Dowek (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Automatic theorem proving--Congresses,Computer logic--Congresses
129. Automated Reasoning
Author: / hnleعrgen Giesl, Reiner HJی
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
130. Automated Reasoning
Author: / Bernhard Gramlich, Dale Miller, Uli Sattler
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
131. Automated Reasoning and Mathematics
Author: / Maria Paola Bonacina, Mark E. Stickel
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ROBOTICS
Classification :
E-BOOK
132. Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security
Author: / Alessandro Armando, Gavin Lowe
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, SOFTWARE ENGINEERING
Classification :
E-BOOK
133. Automated Reasoning with Analytic Tableaux and Related Methods
Author: \ Hans De Nivelle (Ed.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Automatic theorem proving -- Congresses.,Programming Techniques.,Software engineering.,مهندسی نرم افزار
Classification :
QA
76
.
9
.
A96
2015
E-Book
,
134. Automated Reasoning with Analytic Tableaux and Related Methods
Author: / Wendling-Didier Galmiche, Dominique Larchey
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
135. Automated Reasoning with Analytic Tableaux and Related Methods
Author: / Hans De Nivelle
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
136. Automated Reasoning with Analytic Tableaux and Related Methods
Author: / nnler, George MetcalfeیKai Br
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
137. Automated reasoning :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Automatic theorem proving ; Congresses. ;
138. Automated reasoning :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Automatic theorem proving ; Congresses. ;
139. Automated reasoning
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Automatic theorem proving ; Congresses. ; Computer logic ; Congresses. ;
140. Automated reasoning: 33 Base research problems
Author: Larry Wos
Library: Central Library and Information Center of Shahed University (Tehran)
Subject: Automatic theorem proving,Artificial intelligence,Electronic digital computers- Programming
Classification :
QA
،
76
.
9
،.
A96
,
W67
،
1988
