کاربر محترم! صفحه مورد نظر یافت نشد! فهرست زیر، نزدیکترین محتوا به صفحه درخواستی شما است. برای جستجوی جدید از کلید زیر استفاده نمایید:
جستجوی کتابArtificial Intelligence and Symbolic Computation
پدیدآورنده: / Mateos-nکCorral, Jacques Calmet, Francisco J. Mart-Gonzalo A. Aranda
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ROBOTICS
رده :
E-BOOK
Artificial Intelligence and Symbolic Computation
پدیدآورنده: Mateos-nکCorral, Jacques Calmet, Francisco J. Mart-Gonzalo A. Aranda
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه کردستان (کردستان)
موضوع: ART
Artificial intelligence and symbolic computation : International Conference, AISC'98, Plattsburgh, New York, USA, September 1998 : proceedings
پدیدآورنده: Jacques Calmet, Jan Plaza )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1476
Artificial intelligence and symbolic computation : international conference AISC 2000, Madrid, Spain, July 17-19, 2000 : revised papers
پدیدآورنده: John A. Campbell, Eugenio Roanes-Lozano )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
1930
Artificial intelligence and symbolic computation : 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004 : proceedings
پدیدآورنده: Bruno Buchberger, John A. Campbell )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
3249
Artificial intelligence and symbolic computation: 8th international conference, AISC 2006, Beijing, China, September 20-22, 2006: proceedings
پدیدآورنده: Jacques Calmet, Tetsuo Ida, Dongming Wang )eds.(
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه صنعتی خواجه نصير الدين طوسى (تهران)
موضوع: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
Q
334
.
A766
2006
Artificial intelligence and symbolic computation : 8th international conference, AISC 2006 Beijing, China, September 20-22, 2006 : proceedings
پدیدآورنده: Jacques Calmet, Tetsuo Ida, Dongming Wang )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
L28
Vol
.
4120
Artificial intelligence and symbolic mathematical computation
پدیدآورنده:
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه زنجان (زنجان)
موضوع: aicifittrAA ecnegilletnI-sessergnoC,igoLA,cilobmys dna lacitamehtam-sessergnoc
رده :
Q
334
.
A76
1996
Artificial intelligence and symbolic mathematical computation : international conference, AISMC-3, Steyr, Austria, September 23-25, 1996, proceedings
پدیدآورنده: Jacques Calmet, John A. Campbell, Jochen Pfalzgraf, eds
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Artificial intelligence - Congresses , Logic, Symbolic and mathematical - Congresses
رده :
Q
334
.
A766
1996
Artificial intelligence, automated reasoning, and symbolic computation : joint International
پدیدآورنده: Jacques Calmet...]et al.[
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: Congresses ، Artificial intelligence,Congresses ، Logic, Symbolic and mathematical,Congresses ، Automatic theorem proving
رده :
QA
76
.
L28
Vol
.
2385
Integrating symbolic mathematical computation and artificial intelligence : Second International
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Computer science-- Mathematics-- Congresses,، Artificial intelligence-- Congresses
رده :
QA
76
.
9
.
M35
.
I567
1995
Symbolic and numerical computation for artificial intelligence
پدیدآورنده: edited by Bruce Randall Donald, Deepak Kapur, Joseph L. Mundy
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)
موضوع: Artificial intelligence - Congresses
رده :
Q
335
.
S89
1990
Symbolic and numerical computation for artificial intelligence
پدیدآورنده:
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Artificial intelligence-- Congresses,، Artificial intelligence
رده :
Q
335
.
S89
1992
Symbolic and numerical computation for artificial intelligence
پدیدآورنده: / B.R DONALD,D.KAPUR & J.L.MUNDY
کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)
موضوع:
رده :
Q
335
.
S8
1992
Symbolic and numerical computation for artificial intelligence
پدیدآورنده: / B.R DONALD,D.KAPUR & J.L.MUNDY
کتابخانه: کتابخانه دانشکدگان فنی 1 دانشگاه تهران (تهران)
موضوع:
رده :
Q
335
.
S8
1992
