1. Algebraic algorithmics and error-correcting codes : 3rd International Conference, AAECC-3, Grenoble, France, July 15-19, 1985: Proceedings
Author: edited by Jacques Calmet
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Error-correcting codes )Information theory(,Data processing -- Congresses ، Algebra,Congresses ، Algorithms,Congresses ، Coding theory
Classification :
QA
76
.
L28
Vol
.
229
2. Algebraic algorithms and error-correcting codes : 3rd international conference, AAECC-3, Grenoble, France, July 15-19, 1985, proceedings
Author: edited by Jacques Calmet
Library: Central Library and Documentation Center (Kerman)
Subject: Data processing - Congresses ، Algebra,Congresses ، Computer algorithms,Congresses ، Coding theory
Classification :
QA
76
.
L4
v
.
229
3. Algebraic algorithms & error-correcting codes:3rd international
Author: CALMET,JACQUES
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: ALGEBRA-DATA PROCESSING-CONGRESSES , ALGORITHMS-CONGRESSE , CODING THEORY-CONGRESSES
Classification :
QA
155
.
7
.
E4
A55
1985
4. Artificial Intelligence and Symbolic Computation
Author: / Mateos-nکCorral, Jacques Calmet, Francisco J. Mart-Gonzalo A. Aranda
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ROBOTICS
Classification :
E-BOOK
5. Artificial intelligence and symbolic computation : International Conference, AISC'98, Plattsburgh, New York, USA, September 1998 : proceedings
Author: Jacques Calmet, Jan Plaza )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
1476
6. Artificial intelligence and symbolic computation: 8th international conference, AISC 2006, Beijing, China, September 20-22, 2006: proceedings
Author: Jacques Calmet, Tetsuo Ida, Dongming Wang )eds.(
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
Classification :
Q
334
.
A766
2006
7. Artificial intelligence and symbolic computation : 8th international conference, AISC 2006 Beijing, China, September 20-22, 2006 : proceedings
Author: Jacques Calmet, Tetsuo Ida, Dongming Wang )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
4120
8. Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996, proceedings
Author: Jacques Calmet, John A. Campbell, Jochen Pfalzgraf, eds
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: Artificial intelligence - Congresses , Logic, Symbolic and mathematical - Congresses
Classification :
Q
334
.
A766
1996
9. Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 1992 : proceedings
Author: International Conference AISMC-1, )2991: Karlsruhe, Germany(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Artificial intelligence-- Congresses,، Logic, Symbolic and mathematical-- Congresses
Classification :
Q
334
.
I5488
1992
10. Artificial intelligence and symbolic mathematical computing : International Conference AISMC-1, Karlsruhe, Germany, August 1992 : proceedings
Author: Jacques Calmet, John A. Campbell )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
737
11. Artificial intelligence and symbolic mathematical computing : International Conference AISMC-3, Steyr, Austria, September 23-25, 1996 : proceedings
Author: Jacques Calmet, John A. Campbell , Jochen Pfalzgraf )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
1138
12. 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
13. Computer algebra : EUROCAM'82, European Computer Algebra Conference, Marseille, France, 5-7 April 1982
Author: edited by Jacques Calmet
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Data processing -- Congresses ، Algebra
Classification :
QA
76
.
L28
Vol
.
144
14. Computer algebra : EUROCAM'82, European Computer Algebra Conference, Marseille, France, 5-7 April 1982
Author: edited by Jacques Calmet
Library: Central Library and Documentation Center (Kerman)
Subject: Data processing - Congresses ، Algebra
Classification :
QA
76
.
L4
v
.
144
15. Computer algebra : EUROCAM'82, European Computer Algebra Conference, Marseille, France, 5-7 April 1982
پدیدآورنده : edited by Jacques Calmet,Title
موضوع : Algebra - Data processing - Congresses
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
16. Design and implementation of symbolic computation systems : International Symposium, DISCO 96, Karlsruhe, Germany, September 18-20-, 1996 : proceedings
Author: Jacques Calmet, Carla Limongelli, eds
Library: Central Library of Amirkabir University of Technology (Tehran)
Subject: System design - Congresses , Automatic theorem proving - Congresses , Mathematics - Data processing - Congresses
Classification :
QA
76
.
9
.
S88
I576
1996
17. Design and implementation of symbolic computation systems : International symposium DISCO'96, Karlsruhe, Germany, September 18-20, 1996 : Proceedings
Author: Jacque Calmet, Carla Limongelli )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، System design,Data processing -- Congresses ، Mathematics,Data processing -- Congresses ، Numerical analysis
Classification :
QA
76
.
L28
Vol
.
1128
18. Dictionnaire historique, archeologique, philologique , geographique et litteral de la Bible
Author: / par le recerend pere dom Augustin Calmet. revue corrigee par M. l`Abbe A. F. James Publiee par M. l`Abbe Migne,Calmet
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Bible -- Dictionaries
Classification :
BS
440
.
C3
1846
R
19. Integrating symbolic mathematical computation and artificial intelligence : Second International Conference, AISMC-2, Cambridge, United Kingdom, August 3-5, 1994 : selected papers
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science-- Mathematics-- Congresses,، Artificial intelligence-- Congresses
Classification :
QA
76
.
9
.
M35
.
I567
1995
20. Intelligent Computer Mathematics
Author: / Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ROBOTICS
Classification :
E-BOOK
