61. Automated technology for verification and analysis :
پدیدآورنده : Shuvendu K. Lahiri, Chao Wang (eds.).
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Artificial intelligence, Congresses.,Automatic theorem proving, Congresses.,3D graphics & modelling.,Artificial intelligence.,Automatic theorem proving.,Computer programming-- software development.,Computer security.,Computers-- Computer Simulation.,Computers-- Programming-- General.,Computers-- Programming Languages-- General.,Computers-- Security-- General.,Computers-- Software Development & Engineering-- General.,Mathematical theory of computation.,Mathematics-- Logic.,Programming & scripting languages: general.,Software Engineering.
رده :
QA76
.
9
.
A96
62. Automated technology for verification and analysis : Second International Conference, ATVA 2004, Taipei, Taiwan, ROC, October 31-November 3, 2004 : proceedings
پدیدآورنده : Farn Wang )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
3299
63. Automated technology for verification and analysis : third International Symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005 : proceedings
پدیدآورنده : Doron A. Peled, Yih-Kuen Tsay )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving
رده :
QA76
.
L28
Vol
.
3707
64. Automated technology for verification and analysis: third international symposium, ATVA 2005, Taipei, Taiwan, October 4-7, 2005: proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Automatic theorem proving
رده :
QA
76
.
9
.
A96
.
A82
2005
65. Automated theorem proving: after 25 years
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Congresses ، Automatic theorem proving
رده :
QA
76
.
9
.
A96
.
S64
1983
66. Automated theorem proving : after 25 years
پدیدآورنده : W.W. bledsoe and D.W. Loveland, editors
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving
رده :
QA
76
.
9
.
A96S64
1983
67. CADE 16 :--Automated deduction
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Automatic theorem proving ; Congresses. ;
68. CADE 27 :--Automated deduction
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Automatic theorem proving ; Congresses. ;
69. 17 :-CADE--Automated deduction
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Automatic theorem proving ; Congresses ; Logic, Symbolic and mathematical ; Congresses ;
70. 21- CADE--Automated deduction
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Automatic theorem proving ; Congresses. ; Logic, Symbolic and mathematical ; Congresses. ;
71. CADE 28 :--Automated deduction
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Automatic theorem proving ; Congresses. ;
72. Collegium Logicum: annals of the Kurt-Godel-Society
پدیدآورنده :
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Logic,Congresses ، Logic, Symbolic and mathematical,Congresses ، Automatic theorem proving
رده :
QA
9
.
A1
C58
73. Compositionality : the significant difference : international symposium, COMPOS'97, Bad Malente, Germany, September 1997 : revised lectures
پدیدآورنده : Willem-Paul de Roever, Hans Langmaack, Amir Pnueli )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Parallel processing )Electronic computers(,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
1536
74. Computational logic
پدیدآورنده : J.W. Lloyd )ed.(
کتابخانه: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
موضوع : Automatic theorem proving - Congresses,Logic, Symbolic and Mathematical - Congresses
رده :
QA
.
A96
,
C654
76
.
9
1990
75. Computational logic and proof theory : Third Kurt Godel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Automatic theorem proving-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
QA
76
.
9
.
A96
.
K87
1993
76. Computational logic and proof theory : Third Kurt Godel Colloquium, KGC'93, Brno, Czech Republic : proceedings
پدیدآورنده : Georg Gottlob, Alexander Leitscch, Daniele Mundici, )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
713
77. Computational logic and proof theory : 5th Kurt Godel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997 : proceedings
پدیدآورنده : Georg Gottlob, Alexander Leitsch, Daniele Mundici )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1289
78. Computational logic : symposium proceedings, Brussels, November 13/14, 1990
پدیدآورنده : J.W. Lloyd )ed.(
کتابخانه: Central Library and Documentation Center (Kerman)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
A96
C65
1990
79. Computational logic : symposium proceedings, Brussels, November 13/14, 1990
پدیدآورنده : J.W. Lloyd )ed.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
A96S97
1990
80. Design and implementation of symbolic computation systems : International Symposium, DISCO 96, Karlsruhe, Germany, September 18-20-, 1996 : proceedings
پدیدآورنده : Jacques Calmet, Carla Limongelli, eds
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : System design - Congresses , Automatic theorem proving - Congresses , Mathematics - Data processing - Congresses
رده :
QA
76
.
9
.
S88
I576
1996
