261. 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
262. Aspects of mathematical logic
Author: / edited by E. Casari
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: Logic, Symbolic and mathematical, Congresses,Mathematics, Philosophy, Congresses
Classification :
QA9
.
A1C56
2010
263. Automata, logics, and infinite games
Author: Erich Gradel, Wolfgang Thomas, Thomas Wilke )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer science -- Mathematics,، Machine theory,، Logic, Symbolic and mathematical,، Game theory
Classification :
QA
76
.
L28
Vol
.
2500
264. Automata, logics, and infinite games
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Computer science ; Mathematics ; Machine theory ; Logic, Symbolic and mathematical ; Game theory ;
265. Automata, logics, and infinite games
Author: / Erich Gr?ndel, Wolfgang Thomas, Thomas Wilke (eds.)
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer science--Mathematics,Machine theory.,Logic, Symbolic and mathematical.,Game theory.
Classification :
QA
,
76
.
9
,.
M35
,
A85
,
2002
266. Automata, logics, and infinite games
Author: Erich Gradel, Wolfgang Thomas, Thomas Wilke )eds.(
Library: Central Library and Documentation Center (Kerman)
Subject: ، Computer science - Mathematics,، Machine theory,، Logic, Symbolic and mathematical,، Game theory
Classification :
QA
76
.
9
.
M35
A85
2002
267. Automated Deduction - A Basis for Applications
Author: edited by Wolfgang Bibel, Peter H. Schmitt.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
268. Automated Deduction - A Basis for Applications
Author: edited by Wolfgang Bibel, Peter H. Schmitt.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra-- Data processing.,Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).,Software engineering.
269. Automated Deduction -- CADE-12 :
Author: edited by Alan Bundy.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
270. 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
,
271. Automated Deduction -- Cade-13 :
Author: edited by M.A. McRobbie, J.K. Slaney.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.
272. 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
273. 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
274. 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.
275. 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
276. 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
277. 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
278. 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
279. 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
280. 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
