61. Automated deduction in geometry : 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers

کتابخانه: Central Library and Documents Center of Al-Zahra University (Tehran)

موضوع : Congresses ، Geometry - Data processing,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

رده :
QA
448
.
D38
I577
2004

62. Automated deduction in geometry: 5th international workshop, ADG 2004, Gainesville, FL, USA, September 16-18, 2004 : revised papers

پدیدآورنده :

کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)

موضوع : Congresses ، Geometry - Data processing,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

رده :
QA
448
.
D38
I577
2004

63. Automated deduction in geometry : 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002 : revised papers

پدیدآورنده :

کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)

موضوع : Data processing -- Congresses ، Geometry,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
2930

64. Automated deduction in geometry: 4th international workshop, ADG 2002, Hagenberg Castle, Austria, September 4-6, 2002: revised papers

پدیدآورنده :

کتابخانه: Central Library and Documentation Center (Kerman)

موضوع : Data processing - Congresses ، Geometry,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

رده :
QA
448
.
D38
I577
2002

65. Automated deduction in geometry: third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000: revised papers

کتابخانه: Central Library of Sharif University of Technology (Tehran)

موضوع : Congresses ، Geometry-- Data processing,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

رده :
QA
448
.
D38
.
I577
2000

66. Automated deduction in geometry : third international workshop, ADG 2000, Zurich, Switzerland, September 25-27, 2000 : revised papers

پدیدآورنده :

کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)

موضوع : Data processing -- Congresses ، Geometry,Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
2061

67. BL

پدیدآورنده :

کتابخانه: Library of Islamic Parliament (Tehran)

68. BL

پدیدآورنده :

کتابخانه: Library of Islamic Parliament (Tehran)

69. BL

پدیدآورنده :

کتابخانه: Library of Islamic Parliament (Tehran)

70. COLOG-88 : International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988 : proceedings

پدیدآورنده :

کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)

موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
417

71. COLOG-88: International Conference on Computer Logic Tallinn, USSR, December 12-16, 1988: proceedings

کتابخانه: Central Library of Sharif University of Technology (Tehran)

موضوع : Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
9
.
M35
.
I57
1988

72. CSL'88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : Proceedings

پدیدآورنده :

کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)

موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
385

73. CSL '88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988: proceedings

کتابخانه: Central Library of Sharif University of Technology (Tehran)

موضوع : Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
9
.
M35
.
W67
1988

74. CSL'89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : Proceedings

پدیدآورنده :

کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)

موضوع : Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
440

75. CSL '89: 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989: proceedings

کتابخانه: Central Library of Sharif University of Technology (Tehran)

موضوع : Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
9
.
M35
.
W67
1989

76. CSL'87 : 1st Workshop on Computer Science Logic, Karlsruhe FRG, October 12-16, 1987 : Proceedings

پدیدآورنده :

کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)

موضوع : Congresses ، Computers,Congresses ، Electronic data processing,Congresses ، Logic, Symbolic and mathematical,، Computer science -- Mathematics

رده :
QA
76
.
L28
Vol
.
329

77. Category theory and computer science :

پدیدآورنده :

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Categories (Mathematics), Congresses.,Computer science, Congresses.,Catégories (Mathématiques)-- Congrès.,Informatique, Congrès.,Categorieën (wiskunde),Categories (Mathematics),Categories (Mathematics), Congresses.,Catégories (mathématiques)-- Congrès.,Computer science.,Computers.,Datenverarbeitung,Informatik,Kategorientheorie,Kongress,Logic, Symbolic and mathematical, Congresses.

رده :
QA75
.
5
.
S86
1991

78. Certified programs and proofs :

پدیدآورنده :

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Computer science-- Mathematics, Congresses

رده :
QA76
.
9
.
M35
C37
2011eb

79. Cold war history

پدیدآورنده :

کتابخانه: Library of Islamic Parliament (Tehran)

80. Combinatorial algorithms :

پدیدآورنده :

کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)

موضوع : Combinatorial analysis-- Data processing, Congresses,Computational complexity, Congresses,Computer algorithms, Congresses

رده :
QA164
.
I58
2011