1. .....................
پدیدآورنده : Chang, Chin-liang
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Logic, Symbolic and mathematical,، Automatic theorem proving,، Artificial intelligence
رده :
QA
9
.
C483
2. <A> Computational Logic
پدیدآورنده : \ Robert S. Boyer and J Strother Moore
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Automatic theorem proving.
رده :
E-Book
,
3. <A> Proof Theory for General Unification
پدیدآورنده : \ Wayne Snyder
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Automatic theorem proving
رده :
E-Book
,
4. A combination of geometry theorem proving and nonstandard analysis with application to Newton's Principia
پدیدآورنده : Fleuriot, Jacques, 2791-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Automatic theorem proving,، Nonstandard mathematical analysis,، Newton, Isaac, Sir, 2461-7271. Principia
رده :
QA
76
.
9
.
A96F57
5. A computational logic
پدیدآورنده : Boyer, Robert S., Robert S. Boyer and J Strother Moore
کتابخانه: Library and Documentation Center of Kurdistan University (Kurdistan)
موضوع : ، Automatic theorem proving
رده :
QA
76
.
9
.
A96
B68
6. A computational logic
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Automatic theorem proving. ;
7. A computational logic
پدیدآورنده : / Robert S. Boyer and J. Strother Moore
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Automatic theorem proving
رده :
QA
,
76
.
9
,.
A96
,
B68
8. A computational logic
پدیدآورنده : Boyer, Robert S.
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Automatic theorem proving
رده :
QA
76
.
9
.
A96B68
9. A computational logic handbook
پدیدآورنده : BOYER,ROBERT S
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : AUTOMATIC THEOREM PROVING , LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
76
.
9
.
A96
B684
10. A many-sorted calculus based on resolution and paramodulation
پدیدآورنده : Christoph Walther.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence.,Automatic theorem proving.
11. A proof theory for general unification
پدیدآورنده : / Wayne Snyder,Snyder
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : Automatic theorem proving
رده :
QA
76
.
9
.
A96S6
1991
12. A proof theory for general unification
پدیدآورنده : Snyder, Wayne, 5591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Automatic theorem proving
رده :
QA
76
.
9
.
A96S6
13. A resolution principle for a logic with restricted quantifiers
پدیدآورنده : H.-J. Burckert
کتابخانه: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
موضوع : Automatic theorem proving,Logic, Symbolic and mathematical
رده :
QA
,
76
.
9
,.
A96B87
14. A resolution principle for a logic with restricted quantifiers
پدیدآورنده : Burckert, Hans-Jurgen
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Automatic theorem proving,، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
568
15. Algorithmic decision theory :
پدیدآورنده : Ronen I. Brafman, Fred S. Roberts, Alexis Tsoukiàs (editions.)
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Automatic theorem proving, Congresses,Computer algorithms, Congresses,Decision making-- Data processing, Congresses
رده :
QA76
.
9
.
A96
A38
2011
16. Applied proof theory: proof interpretations and their use in mathematics
پدیدآورنده : Kohlenbach, U. )Ulrich(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Proof theory,، Approximation theory,، Nonlinear operators,، Automatic theorem proving
رده :
QA
9
.
54
.
K64
2008
17. 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.[
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
2385
18. Automated Deduction – CADE-25
پدیدآورنده : \ Amy P. Felty , Aart Middeldorp (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Automatic theorem proving -- Congresses.,Logic, Symbolic and mathematical -- Congresses.,منطق ریاضی-- کنگره‌ها
رده :
QA
76
.
9
.
A96
2015
E-Book
,
19. Automated Deduction : Proceedings
پدیدآورنده : M.E. Stickel )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
449
20. Automated Deduction in Geometry
پدیدآورنده : \ Francisco Botana , Pedro Quaresma (Eds.)
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Computer graphics,گرافیک کامپیوتری,a03,a03,Geometry -- Data processing -- Congresses.,Automatic theorem proving -- Congresses.,هندسه -- داده پردازی -- کنگره ها
رده :
T
385
.
A92
2015
E-Book
,
