عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.3452
QA
76
.
L28
Vol
.
3452
کتابخانه
محل استقرار
Logic for programming, artificial intelligence, and reasoning : 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005 : proceedings
2005 : Montevideo, Uruguay
Berlin
Springer-Verlag
c2005
xi, 562 p.: ill
Lecture notes in computer science; 2543. Lecture notes in artificial intelligence
Includes bibliographies
ISBN: 3540252363
Franz Baader, Andrei Voronkov )eds.(
1
Congresses ، Automatic theorem proving
Congresses ، Artificial intelligence
Congresses ، Logic programming
QA
76
.
L28
Vol
.
3452
NO
AU
AU Baader, Franz
AU Voronkov, Andrei, 1959-
TI
SE Lecture notes in computer science 3452
LPAR
