عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.3249
QA
76
.
L28
Vol
.
3249
کتابخانه
محل استقرار
Artificial intelligence and symbolic computation : 7th International Conference, AISC 2004, Linz, Austria, September 22-24, 2004 : proceedings
2004 : Linz, Austria
Berlin
Springer-Verlag
c2004
x, 284 p.: ill., tables
Lecture notes in computer science; 9423. Lecture notes in artificial intelligence
"International Conference on Artificial Intelligence and Symbolic Computation...The 'M' disappeared from the title between the 1996 and 1998 conference"
Includes bibliographies
ISBN: 3540232125
Bruno Buchberger, John A. Campbell )eds.(
1
Congresses ، Artificial intelligence
Congresses ، Logic, Symbolic and mathematical
QA
76
.
L28
Vol
.
3249
NO
AU
AU Buchberger, Bruno
AU Campbell, John A., 1940-
TI
SE Lecture notes in computer science 3249
AISC
