1. Algorithmic decision theory :
Author: Ronen I. Brafman, Fred S. Roberts, Alexis Tsoukiàs (editions.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic theorem proving, Congresses,Computer algorithms, Congresses,Decision making-- Data processing, Congresses
Classification :
QA76
.
9
.
A96
A38
2011
2. Artificial intelligence, automated reasoning, and symbolic computation : joint International Conferences, AISC 2002 and CALCULEMUS 2002, Marseille, France, July 1-5, 2002 proceedings
Author: Jacques Calmet...]et al.[
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical,Congresses ، Automatic theorem proving
Classification :
QA
76
.
L28
Vol
.
2385
3. Automated Deduction – CADE-25
Author: \ Amy P. Felty , Aart Middeldorp (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Automatic theorem proving -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,منطق ریاضی-- کنگرهها
Classification :
QA
76
.
9
.
A96
2015
E-Book
,
4. Automated Deduction : Proceedings
Author: M.E. Stickel )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
449
5. Automated Deduction in Geometry
Author: \ Francisco Botana , Pedro Quaresma (Eds.)
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Computer graphics,گرافیک کامپیوتری,a03,a03,Geometry -- Data processing -- Congresses.,Automatic theorem proving -- Congresses.,هندسه -- داده پردازی -- کنگره ها
Classification :
T
385
.
A92
2015
E-Book
,
6. 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
7. 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
,
8. Automated Technology for Verification and Analysis
Author: \ Bernd Finkbeiner, Geguang Pu, Lijun Zhang
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Automatic theorem proving -- Congresses.,Artificial intelligence -- Congresses.,اثبات قضیه خودکار -- کنگره ها , هوش مصنوعی -- کنگره ها
Classification :
QA76
.
9
.
A96
A82
2015
E-Book
,
9. Automated deduction--CADE-22
Author: Renate A. Schmidt (ed.)
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic theorem proving, Congresses,Logic, Symbolic and mathematical, Congresses
Classification :
QA76
.
9
.
A96
I57
2009eb
10. Automated deduction, CADE-14
Author: William McCune, ed.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Automatic theorem proving, Congresses.,Logic, Symbolic and mathematical, Congresses.
11. Automated deduction -- CADE-21
Author: / Frank Pfenning (ed.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Automatic theorem proving--Congresses,Logic, Symbolic and mathematical--Congresses
Classification :
QA
,
76
.
9
,.
A96
,
I57
,
2007
12. Automated deduction--CADE 16
Author: / Harald Ganzinger (ed.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Automatic theorem proving--Congresses,Logic, Symbolic and mathematical--Congresses
Classification :
QA
,
76
.
9
,.
A96
,
I57
,
1999
13. Automated deduction - CADE-17
Author: / David McAllester (ed.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Automatic theorem proving--Congresses,Logic, Symbolic and mathematical--Congresses
Classification :
QA
,
76
.
9
,.
A96
,
I57
,
2000
14. Automated deduction-CADE-18 : 18th International Conference on Automated Deduction, Copenhagen, Denmark, July 27-30, 2002 : proceedings
Author: Andrei Voronkov )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
2392
15. Automated deduction - CADE-26 : 26th International Conference on Automated Deduction, Gothenburg, Sweden, August 6-11, 2017, proceedings
Author: Leonardo de Moura )ed.(
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Automatic theorem proving Congresses,، Logic, Symbolic and mathematical Congresses
Classification :
QA
76
.
9
.
A96
2017
16. Automated deduction, CADE-15 : 15th International Conference on Automated Deduction, Lindau, Germany, July 5-10, 1998 : proceedings
Author: Claude Kirchner, Helene Kirchner, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
1421
17. Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, Miami Beach, FL, USA, July 28-August 2, 2003 : proceedings
Author: Franz Baader )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
2741
18. Automated deduction, CADE-12 : 12th International Conference on Automated Deduction Nancy, France, June 26 - July 1, 1994 ; proceedings
Author: Alan Bundy )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
814
19. Automated deduction CADE-13 : 13th International Conference on Automated Deduction, New Brunswick, NJ, USA, July 30-August 3, 1996 : proceedings
Author: M.A. McRobbie, J.K. Slaney )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
1104
20. Automated deduction - CADE-17 : 17th International Conference on Automated Deduction, Pittsburgh, PA, USA, June 2000 : proceedings
Author: David McAllester )ed.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
1831
