عنوان
پدید آورنده
موضوع
رده
QA 76 .63 .I55 1992
QA
76
.
63
.
I55
1992
کتابخانه
محل استقرار
97885
زمستان۴۷
English
)20(
Logic programming and automated reasoning : international conference, LPAR '92, St. Petersburg, Russia, July 15-20, 1992 : proceedings
Berlin, New York
Springer-Verlag
1992
xiv, 509 p. : ill. ; 25 cm
Lecture notes in computer science; 426
Includes bibliographical references
، Logic programming-- Congresses
، Automatic theorem proving-- Congresses
QA
76
.
63
.
I55
1992
AU
A. Voronkov, ed
TI
AU (ierdnA).A ,voknoroV 1959-
SE
SE Lecture notes in computer science, Lecture notes in artificial intelligence
LPAR )1992: Saint Petersburg, Russia(
02
