عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.698
QA
76
.
L28
Vol
.
698
کتابخانه
محل استقرار
Logic programming and automated reasoning : 4th International Conference, LPAR'93 St. Petersburg, Russia, July 13-20, 1993 : proceedings
4th: 1993: Saint Petersburg, Russia
Berlin
Springer-Verlag
c1993
xiii, 386p.: ill., tables
Lecture notes in computer science; 896 .Lecture notes in artificial intelligence
Includes bibliographies
ISBN: 3540569448
A. Voronkov, )ed.(
1
Congresses ، Logic programming
Congresses ، Automatic theorem proving
QA
76
.
L28
Vol
.
698
AU
AU Voronkov, Andrei, 1959-
TI
SE Lecture notes in computer science 698
LPAR
