عنوان

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.[

موضوع

Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical,Congresses ، Automatic theorem proving

رده

QA

76
.
L28

Vol
.
2385

کتابخانه

محل استقرار

استان: طهران ـ شهر: طهران

Artificial intelligence, automated reasoning, and symbolic computation : joint International Conferences, AISC 2002 and CALCULEMUS 2002, Marseille, France, July 1-5, 2002 proceedings

Berlin

Springer-Verlag

c2002

xi, ]343[ p.: ill

Lecture notes in computer science; 5832. Lecture notes in artificial intelligence

Includes bibliographies

ISBN: 3540438653

Jacques Calmet...]et al.[

Congresses ، Artificial intelligence

Congresses ، Logic, Symbolic and mathematical

Congresses ، Automatic theorem proving

L28

Vol

2385

AU Calmet, Jacques, 1941-

CO AISC 6th : 2002 : Marseille, France

CO CALCULEMUS 2002 : Marseille, France

SE Lecture notes in computer science 2385

عنوان 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.[

موضوع Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical,Congresses ، Automatic theorem proving

رده QA 76 .L28 Vol.2385