141. Automated reasoning : First International Joint Conference, IJCAR 2001, Siena, Italy, June 18-23, 2001 : proceedings
Author: Rajeev Gore, Alexander Leitsch, Tobias Nipkow )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Computer logic
Classification :
QA
76
.
L28
Vol
.
2083
142. Automated reasoning : essays in honor of Woody Bledsoe
Author: edited by Robert S. Boyer
Library: Library of College of Science University of Tehran (Tehran)
Subject: ، Automatic theorem proving,، Artificial intelligence
Classification :
QA
76
.
9
.
A96
A92
1991
143. Automated reasoning: essays in honor of Woody Bledsoe
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Automatic theorem proving,، Artificial intelligence
Classification :
QA
76
.
9
.
A96
.
A92
1991
144. Automated reasoning for systems biology and medicine
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computational biology. ;
145. Automated reasoning for systems biology and medicine /
Author: Pietro Liò, Paolo Zuliani, editors.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computational biology.,Medical informatics.,Systems biology.,Computational biology.,Medical informatics.,Systems biology.
Classification :
QH324
.
2
.
A98
2019
146. Automated reasoning: introduction and applications
Author: )by( Larry Wos )et al.(
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: ، Automatic theorem proving,، Artificial intelligence,Programming ، Electronic digital computers
Classification :
QA
76
.
9
.
A96
A93
1984
147. Automated reasoning : second international joint conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004 : proceedings
Author: David Basin, Michael Rusinowitch )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Computer logic
Classification :
QA
76
.
L28
Vol
.
3097
148. Automated reasoning : third International Joint Conference, IJCAR 2006, Seattle, WA, USA, August 17-20, 2006 : proceedings
Author: Ulrich Furbach, Natarajan Shankar )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Computer logic
Classification :
QA
76
.
L28
Vol
.
4130
149. Automated reasoning with analytic tableaux and related methods :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Automatic theorem proving ; Congresses. ;
150. Automated reasoning with analytic tableaux and related methods :
Author: Didier Galmiche, Dominique Larchey-Wendling (eds.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic theorem proving, Congresses
Classification :
QA76
.
9
.
A96
151. Automated reasoning with analytic tableaux and related methods :
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Automatic theorem proving ; Congresses. ;
152. Automated reasoning with analytic tableaux and related methods : Internaitonal Conference, TABLEAUX'97
Author: Didier Galmiche )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Parallel processing )Electronic computers(
Classification :
QA
76
.
L28
Vol
.
1227
153. Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX
Author: Uwe Egly, Christian G. Fernmuller )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving
Classification :
QA
76
.
L28
Vol
.
2381
154. Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX
Author: Bernhard Beckert )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving
Classification :
QA
76
.
L28
Vol
.
3702
155. Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX
Author: Harrie de Swart, )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Artificial intelligence
Classification :
QA
76
.
L28
Vol
.
1397
156. Automated reasoning with analytic tableaux and related methods : International Conference, TABLEAUX
Author: Roy Dyckhoff )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving
Classification :
QA
76
.
L28
Vol
.
1847
157. Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX 2003, Rome, Italy, September 9-12, 2003 : proceedings
Author: Marta Cialdea Mayer, Fiora Pirri )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving
Classification :
QA
76
.
L28
Vol
.
2796
158. Automated reasoning with analytic tableaux and related methods : international conference, TABLEAUX'99, Saratoga Springs, NY, June, 1999 : proceedings
Author: Niel V. Murray )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving
Classification :
QA
76
.
L28
Vol
.
1617
159. Automating business modelling a guide to using logic to represent informal methods and support reasoning
Author: Chen-Burger, Yun-Heh., Yun-Heh Chen-Burger and Dave Robertson
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Industrial management- Computer simulation,، Industrial management- Mathematical models,، Business- Computer simulation,، Business- Mathematical models
Classification :
HD
30
.
2
.
C473
2005
160. Automation of Reasoning :
Author: edited by Jörg H. Siekmann, Graham Wrightson.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
Classification :
QA76
.
9
.
A96
E358
1983
