عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.624
QA
76
.
L28
Vol
.
624
کتابخانه
محل استقرار
Logic programming and automated reasoning : International Conference LPAR'92, St. Petersburg, Russia, July 15-20, 1992 :proceedings
1992: Saint Petersburg, Russia
Berlin
Springer-Verlag
c1992
xiv, 509p.: ill
Lecture notes in computer science; 426 .Lecture notes in artificial intelligence
Includes bibliographies
ISBN: 354055727X
A. Voronkov, ed
1
Congresses ، Logic programming
Congresses ، Automatic theorem proving
QA
76
.
L28
Vol
.
624
AU
AU Voronkov, Andrei, 1959-
TI
SE Lecture notes in computer science 624
LPAR
