عنوان
پدید آورنده
موضوع
رده
QA 76 .L28 Vol.822
QA
76
.
L28
Vol
.
822
کتابخانه
محل استقرار
Logic programming and automated reasoning : 5th International Conference, LPAR'94 Kiev, Ukraine, July 16-22, 1994 : proceedings
1994: Kiev, Ukraine
Berlin
Springer-Verlag
c1994
x, 344p
Lecture notes in computer science; 228. Lecture notes in artificial intelligence
ISBN: 3540582169
Frank Pfenning )ed.(
1
Congresses ، Logic programming
Congresses ، Automatic theorem proving
QA
76
.
L28
Vol
.
822
AU
AU Pfenning, Frank
TI
SE Lecture notes in computer science 822
LPAR
