عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.2250
QA
76
.
L28
Vol
.
2250
کتابخانه
محل استقرار
Logic for programming, artificial intelligence, and reasoning : 8th international conference, LPAR 2001, Havana, Cuba, December 3-7, 2001 : proceedings
8th : 2001 : Havana, Cuba
Berlin
Springer-Verlag
c2001
xv, 738 p.: ill., tables
Lecture notes in artificial intellignece; 0522. Lecture notes in computer science
Includes bibliographies
ISBN: 3540429573
Robert Nieuwenhuis, Andrei Voronkov )eds.(
1
، Logic programming
QA
76
.
L28
Vol
.
2250
AU
AU Nieuwenhuis, Robert
AU Voronkov, Andrei, 1959-
TI
SE Lecture notes in computer science 2250
LPAR
